Metrics for ab-angle->ABCF D

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

analyze0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated; 0ms collecting garbage

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 10 to 8 computations (20% saved)

sample584.0ms (23.8%)

Memory

16.0MiB live, 572.6MiB allocated; 98ms collecting garbage

Samples

351.0ms

8 256×

valid

Precisions

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

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

ival-neg: 35.0ms (18.1% of total)

ival-true: 5.0ms (2.6% of total)

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

adjust: 2.0ms (1% of total)

Bogosity

explain62.0ms (2.5%)

Memory

24.5MiB live, 77.7MiB allocated; 6ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
29	-	0	-	`(.f64 (.f64 a a) b)`
11	-	2	(-1.4504866425740135e-242 -4.410132946500308e+171)	`(.f64 (.f64 (*.f64 a a) b) b)`
0	-	0	-	`(*.f64 a a)`
0	-	0	-	`(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))`
0	-	0	-	`a`
0	-	0	-	`b`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`*.f64`	`(.f64 (.f64 a a) b)`	*no**	17
`*.f64`	`(.f64 (.f64 a a) b)`	*nu**	12
`*.f64`	`(.f64 (.f64 (*.f64 a a) b) b)`	*no**	5
`*.f64`	`(.f64 (.f64 (*.f64 a a) b) b)`	*nu**	4

Confusion

	Predicted +	Predicted -
+	38	0
-	0	218

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	38	0	0
-	0	0	218

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	218
1	38

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

26.0ms

512×

valid

Compiler

Compiled 62 to 22 computations (64.5% saved)

Precisions

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

ival-mult: 9.0ms (75.9% of total)

ival-neg: 2.0ms (16.9% of total)

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

adjust: 0.0ms (0% of total)

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

preprocess27.0ms (1.1%)

Memory

-22.0MiB live, 23.9MiB allocated; 2ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	38
1	60	38
2	241	38
3	542	38
4	785	38
5	790	38
0	6	8
0	10	8
1	24	8
2	81	8
3	303	8
4	719	8
5	844	8
0	844	8

Stop Event

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

Calls

Call 1

Inputs
(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

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

Symmetry

(abs b)

(abs a)

(sort a b)

Compiler

Compiled 8 to 6 computations (25% saved)

eval0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 0 to 2 computations (-∞% saved)

prune0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated; 0ms collecting garbage

Alt Table

Click to see full alt table

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

Compiler

Compiled 8 to 6 computations (25% saved)

simplify10.0ms (0.4%)

Memory

8.3MiB live, 8.3MiB allocated; 0ms collecting garbage

Localize:

Found 4 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	25
0	10	25
1	24	25
2	81	25
3	303	25
4	719	25
5	844	25
0	844	25

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
(.f64 (.f64 (*.f64 a a) b) b)
(.f64 (.f64 a a) b)
(*.f64 a a)
a
b

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

localize16.0ms (0.7%)

Memory

18.8MiB live, 18.8MiB allocated; 0ms collecting garbage

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 a a)
accuracy	0.0	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
accuracy	4.206596012782085	(.f64 (.f64 (*.f64 a a) b) b)
accuracy	5.478763813825589	(.f64 (.f64 a a) b)

Samples

11.0ms

256×

valid

Compiler

Compiled 27 to 8 computations (70.4% saved)

Precisions

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

ival-mult: 4.0ms (71.3% of total)

ival-neg: 1.0ms (17.8% of total)

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

adjust: 0.0ms (0% of total)

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

series6.0ms (0.3%)

Memory

7.6MiB live, 7.6MiB allocated; 0ms collecting garbage

Counts

4 → 4

Calls

Call 1

Inputs
(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
(.f64 (.f64 (*.f64 a a) b) b)
(.f64 (.f64 a a) b)
(*.f64 a a)

Outputs
(* -1 (* (pow a 2) (pow b 2)))
(* (pow a 2) (pow b 2))
(* (pow a 2) b)
(pow a 2)

Calls

6 calls:

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

simplify171.0ms (6.9%)

Memory

-24.9MiB live, 117.8MiB allocated; 49ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	19	23
2	62	23
3	271	23
4	919	23
5	1322	23
6	4066	23
0	8362	23

Stop Event

1×	iter limit
1×	node limit

Counts

4 → 4

Calls

Call 1

Inputs
(* -1 (* (pow a 2) (pow b 2)))
(* (pow a 2) (pow b 2))
(* (pow a 2) b)
(pow a 2)

Outputs
(* -1 (* (pow a 2) (pow b 2)))
(.f64 (.f64 (*.f64 (neg.f64 a) b) b) a)
(* (pow a 2) (pow b 2))
(.f64 (.f64 (*.f64 b a) b) a)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(pow a 2)
(*.f64 a a)

rewrite41.0ms (1.6%)

Memory

9.5MiB live, 53.7MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	6	23
0	10	22
1	26	22
2	94	18
0	414	18

Stop Event

1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit

Counts

4 → 112

Calls

Call 1

Inputs
(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
(.f64 (.f64 (*.f64 a a) b) b)
(.f64 (.f64 a a) b)
(*.f64 a a)

Outputs
(.f64 (.f64 (*.f64 a a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (.f64 (neg.f64 b) (*.f64 (neg.f64 b) a)) (neg.f64 a))
(.f64 (.f64 (fabs.f64 b) (neg.f64 a)) (*.f64 (fabs.f64 b) (neg.f64 a)))
(.f64 (.f64 (fabs.f64 b) a) (*.f64 (fabs.f64 b) a))
(.f64 (.f64 (neg.f64 b) (neg.f64 a)) (*.f64 (neg.f64 b) (neg.f64 a)))
(.f64 (.f64 (neg.f64 b) (neg.f64 a)) (*.f64 (neg.f64 b) a))
(.f64 (.f64 (neg.f64 a) (fabs.f64 b)) (*.f64 (neg.f64 a) (fabs.f64 b)))
(.f64 (.f64 (neg.f64 a) (neg.f64 b)) (*.f64 (neg.f64 a) (neg.f64 b)))
(.f64 (.f64 a (fabs.f64 b)) (*.f64 a (fabs.f64 b)))
(.f64 (neg.f64 (.f64 (neg.f64 b) a)) (neg.f64 (*.f64 (neg.f64 b) a)))
(.f64 (neg.f64 (.f64 (neg.f64 b) a)) (*.f64 (neg.f64 b) a))
(.f64 (fabs.f64 (.f64 (neg.f64 b) a)) (fabs.f64 (*.f64 (neg.f64 b) a)))
(.f64 (fabs.f64 (.f64 b a)) (fabs.f64 (*.f64 b a)))
(.f64 (.f64 (*.f64 (neg.f64 b) a) b) (neg.f64 a))
(.f64 (.f64 (*.f64 (neg.f64 b) a) b) a)
(.f64 (.f64 (*.f64 b a) b) a)
(.f64 (.f64 (neg.f64 b) b) (*.f64 a a))
(.f64 (.f64 (neg.f64 b) a) (*.f64 (neg.f64 a) (neg.f64 b)))
(.f64 (.f64 (neg.f64 b) a) (neg.f64 (*.f64 (neg.f64 b) a)))
(.f64 (.f64 (neg.f64 b) a) (*.f64 (neg.f64 b) a))
(.f64 (.f64 (neg.f64 b) a) (*.f64 b a))
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (*.f64 a a)))
(.f64 (.f64 b a) (*.f64 (neg.f64 b) a))
(.f64 (.f64 b a) (*.f64 b a))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 (neg.f64 b) (.f64 b (*.f64 a a)))
(.f64 (neg.f64 a) (.f64 (neg.f64 a) (*.f64 (neg.f64 b) b)))
(.f64 (neg.f64 a) (neg.f64 (.f64 (*.f64 (neg.f64 b) a) b)))
(.f64 (neg.f64 a) (.f64 (*.f64 (neg.f64 b) a) b))
(.f64 (neg.f64 a) (.f64 (*.f64 b a) b))
(.f64 (.f64 b (*.f64 a a)) (neg.f64 b))
(.f64 (.f64 b (*.f64 a a)) b)
(.f64 b (.f64 b (*.f64 a a)))
(.f64 (.f64 a a) (*.f64 (neg.f64 b) b))
(.f64 (.f64 a a) (*.f64 b b))
(.f64 a (.f64 (*.f64 (neg.f64 b) a) b))
(.f64 a (.f64 (*.f64 b a) b))
(pow.f64 (*.f64 (neg.f64 b) a) #s(literal 2 binary64))
(pow.f64 (*.f64 b a) #s(literal 2 binary64))
(neg.f64 (pow.f64 (*.f64 b a) #s(literal 2 binary64)))
(.f64 (.f64 (*.f64 a a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (.f64 (neg.f64 b) (*.f64 (neg.f64 b) a)) (neg.f64 a))
(.f64 (.f64 (fabs.f64 b) (neg.f64 a)) (*.f64 (fabs.f64 b) (neg.f64 a)))
(.f64 (.f64 (fabs.f64 b) a) (*.f64 (fabs.f64 b) a))
(.f64 (.f64 (neg.f64 b) (neg.f64 a)) (*.f64 (neg.f64 b) (neg.f64 a)))
(.f64 (.f64 (neg.f64 b) (neg.f64 a)) (*.f64 (neg.f64 b) a))
(.f64 (.f64 (neg.f64 a) (fabs.f64 b)) (*.f64 (neg.f64 a) (fabs.f64 b)))
(.f64 (.f64 (neg.f64 a) (neg.f64 b)) (*.f64 (neg.f64 a) (neg.f64 b)))
(.f64 (.f64 a (fabs.f64 b)) (*.f64 a (fabs.f64 b)))
(.f64 (neg.f64 (.f64 (neg.f64 b) a)) (neg.f64 (*.f64 (neg.f64 b) a)))
(.f64 (neg.f64 (.f64 (neg.f64 b) a)) (*.f64 (neg.f64 b) a))
(.f64 (fabs.f64 (.f64 (neg.f64 b) a)) (fabs.f64 (*.f64 (neg.f64 b) a)))
(.f64 (fabs.f64 (.f64 b a)) (fabs.f64 (*.f64 b a)))
(.f64 (.f64 (*.f64 (neg.f64 b) a) b) (neg.f64 a))
(.f64 (.f64 (*.f64 (neg.f64 b) a) b) a)
(.f64 (.f64 (*.f64 b a) b) a)
(.f64 (.f64 (neg.f64 b) b) (*.f64 a a))
(.f64 (.f64 (neg.f64 b) a) (*.f64 (neg.f64 a) (neg.f64 b)))
(.f64 (.f64 (neg.f64 b) a) (neg.f64 (*.f64 (neg.f64 b) a)))
(.f64 (.f64 (neg.f64 b) a) (*.f64 (neg.f64 b) a))
(.f64 (.f64 (neg.f64 b) a) (*.f64 b a))
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (*.f64 a a)))
(.f64 (.f64 b a) (*.f64 (neg.f64 b) a))
(.f64 (.f64 b a) (*.f64 b a))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 (neg.f64 b) (.f64 b (*.f64 a a)))
(.f64 (neg.f64 a) (.f64 (neg.f64 a) (*.f64 (neg.f64 b) b)))
(.f64 (neg.f64 a) (neg.f64 (.f64 (*.f64 (neg.f64 b) a) b)))
(.f64 (neg.f64 a) (.f64 (*.f64 (neg.f64 b) a) b))
(.f64 (neg.f64 a) (.f64 (*.f64 b a) b))
(.f64 (.f64 b (*.f64 a a)) (neg.f64 b))
(.f64 (.f64 b (*.f64 a a)) b)
(.f64 b (.f64 b (*.f64 a a)))
(.f64 (.f64 a a) (*.f64 (neg.f64 b) b))
(.f64 (.f64 a a) (*.f64 b b))
(.f64 a (.f64 (*.f64 (neg.f64 b) a) b))
(.f64 a (.f64 (*.f64 b a) b))
(pow.f64 (*.f64 (neg.f64 b) a) #s(literal 2 binary64))
(pow.f64 (*.f64 b a) #s(literal 2 binary64))
(neg.f64 (pow.f64 (*.f64 b a) #s(literal 2 binary64)))
(.f64 (.f64 (neg.f64 b) (neg.f64 a)) (neg.f64 a))
(.f64 (neg.f64 (.f64 (neg.f64 b) a)) (neg.f64 a))
(.f64 (.f64 (neg.f64 b) a) (neg.f64 a))
(.f64 (.f64 (neg.f64 b) a) a)
(.f64 (.f64 b a) (neg.f64 a))
(.f64 (.f64 b a) a)
(.f64 (neg.f64 b) (.f64 a a))
(.f64 (neg.f64 a) (.f64 (neg.f64 a) (neg.f64 b)))
(.f64 (neg.f64 a) (neg.f64 (.f64 (neg.f64 b) a)))
(.f64 (neg.f64 a) (.f64 (neg.f64 b) a))
(.f64 (neg.f64 a) (.f64 b a))
(.f64 b (.f64 a a))
(.f64 (.f64 a a) (neg.f64 b))
(.f64 (.f64 a a) b)
(.f64 a (.f64 (neg.f64 b) a))
(.f64 a (.f64 b a))
(neg.f64 (.f64 b (.f64 a a)))
(*.f64 (exp.f64 (log.f64 a)) (exp.f64 (log.f64 a)))
(*.f64 (neg.f64 a) (neg.f64 a))
(*.f64 (neg.f64 a) a)
(*.f64 a (neg.f64 a))
(*.f64 a a)
(pow.f64 (exp.f64 (log.f64 a)) #s(literal 2 binary64))
(pow.f64 (neg.f64 a) #s(literal 2 binary64))
(pow.f64 (*.f64 a a) #s(literal 1 binary64))
(pow.f64 a #s(literal 2 binary64))
(neg.f64 (*.f64 a a))
(sqrt.f64 (.f64 (.f64 a a) (*.f64 a a)))
(fabs.f64 (*.f64 a a))
(exp.f64 (*.f64 (log.f64 (neg.f64 a)) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 a) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 a) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 a) #s(literal 2 binary64))))

eval7.0ms (0.3%)

Memory: 13.0MiB live, 13.0MiB allocated; 0ms collecting garbage
Compiler: Compiled 717 to 199 computations (72.2% saved)

prune7.0ms (0.3%)

Memory

13.6MiB live, 13.6MiB allocated; 0ms collecting garbage

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	67	9	76
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	67	10	77

Accuracy

100.0%

Counts

77 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	95.8%	(.f64 (.f64 (*.f64 (neg.f64 b) a) b) a)
	34.5%	(.f64 (.f64 (*.f64 b a) b) a)
	78.7%	(.f64 (.f64 (neg.f64 b) b) (*.f64 a a))
▶	99.7%	(.f64 (.f64 (neg.f64 b) a) (*.f64 b a))
▶	34.8%	(.f64 (.f64 b (*.f64 a a)) b)
	34.4%	(.f64 (.f64 b b) (*.f64 a a))
▶	34.6%	(.f64 (.f64 b a) (*.f64 b a))
	83.8%	(.f64 (neg.f64 a) (.f64 (neg.f64 a) (*.f64 (neg.f64 b) b)))
▶	93.4%	(neg.f64 (.f64 (.f64 (*.f64 b a) a) b))
✓	84.6%	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

Compiler

Compiled 148 to 106 computations (28.4% saved)

simplify17.0ms (0.7%)

Memory

-29.4MiB live, 15.1MiB allocated; 5ms collecting garbage

Localize:

Found 17 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	95
0	28	95
1	59	95
2	144	95
3	381	95
4	750	95
5	826	95
0	826	95

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(.f64 (.f64 (neg.f64 b) a) (*.f64 b a))
(*.f64 (neg.f64 b) a)
(neg.f64 b)
b
a
(*.f64 b a)
(.f64 (.f64 b a) (*.f64 b a))
(*.f64 b a)
b
a
(.f64 (.f64 b (*.f64 a a)) b)
(.f64 b (.f64 a a))
b
(*.f64 a a)
a
(neg.f64 (.f64 (.f64 (*.f64 b a) a) b))
(.f64 (.f64 (*.f64 b a) a) b)
(.f64 (.f64 b a) a)
(*.f64 b a)
b
a
(.f64 (.f64 (*.f64 (neg.f64 b) a) b) a)
(.f64 (.f64 (neg.f64 b) a) b)
(*.f64 (neg.f64 b) a)
(neg.f64 b)
b
a

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

localize45.0ms (1.8%)

Memory

15.2MiB live, 59.7MiB allocated; 7ms collecting garbage

Localize:

Found 17 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 (neg.f64 b) a)
accuracy	0.0	(neg.f64 b)
accuracy	0.08984375	(.f64 (.f64 (neg.f64 b) a) b)
accuracy	2.620707637787172	(.f64 (.f64 (*.f64 (neg.f64 b) a) b) a)
accuracy	0.0	(*.f64 b a)
accuracy	0.0	(neg.f64 (.f64 (.f64 (*.f64 b a) a) b))
accuracy	0.1015625	(.f64 (.f64 b a) a)
accuracy	4.206596012782085	(.f64 (.f64 (*.f64 b a) a) b)
accuracy	0.0	(*.f64 a a)
accuracy	4.206596012782085	(.f64 (.f64 b (*.f64 a a)) b)
accuracy	5.478763813825589	(.f64 b (.f64 a a))
accuracy	0.0	(*.f64 b a)
accuracy	0.174160009768442	(.f64 (.f64 b a) (*.f64 b a))
accuracy	0.0	(*.f64 (neg.f64 b) a)
accuracy	0.0	(*.f64 b a)
accuracy	0.0	(neg.f64 b)
accuracy	0.174160009768442	(.f64 (.f64 (neg.f64 b) a) (*.f64 b a))

Samples

28.0ms

256×

valid

Compiler

Compiled 97 to 17 computations (82.5% saved)

Precisions

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

ival-mult: 15.0ms (87.3% of total)

ival-neg: 2.0ms (11.6% of total)

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

adjust: 0.0ms (0% of total)

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

series11.0ms (0.4%)

Memory

18.5MiB live, 18.5MiB allocated; 0ms collecting garbage

Counts

13 → 8

Calls

Call 1

Inputs
(.f64 (.f64 (neg.f64 b) a) (*.f64 b a))
(*.f64 (neg.f64 b) a)
(neg.f64 b)
(*.f64 b a)
(.f64 (.f64 b a) (*.f64 b a))
(.f64 (.f64 b (*.f64 a a)) b)
(.f64 b (.f64 a a))
(*.f64 a a)
(neg.f64 (.f64 (.f64 (*.f64 b a) a) b))
(.f64 (.f64 (*.f64 b a) a) b)
(.f64 (.f64 b a) a)
(.f64 (.f64 (*.f64 (neg.f64 b) a) b) a)
(.f64 (.f64 (neg.f64 b) a) b)

Outputs
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* a b))
(* a b)
(* (pow a 2) (pow b 2))
(* (pow a 2) b)
(pow a 2)
(* -1 (* a (pow b 2)))
(* -1 b)

Calls

6 calls:

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

simplify115.0ms (4.7%)

Memory

-21.2MiB live, 75.6MiB allocated; 22ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	38
1	35	38
2	87	38
3	245	38
4	924	38
5	2273	38
6	4814	38
0	8063	38

Stop Event

1×	iter limit
1×	node limit

Counts

8 → 8

Calls

Call 1

Inputs
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* a b))
(* a b)
(* (pow a 2) (pow b 2))
(* (pow a 2) b)
(pow a 2)
(* -1 (* a (pow b 2)))
(* -1 b)

Outputs
(* -1 (* (pow a 2) (pow b 2)))
(.f64 (.f64 (*.f64 (neg.f64 a) a) b) b)
(* -1 (* a b))
(*.f64 (neg.f64 a) b)
(* a b)
(*.f64 a b)
(* (pow a 2) (pow b 2))
(.f64 (.f64 a b) (*.f64 a b))
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(pow a 2)
(*.f64 a a)
(* -1 (* a (pow b 2)))
(.f64 (.f64 a b) (neg.f64 b))
(* -1 b)
(neg.f64 b)

rewrite48.0ms (2%)

Memory

-0.4MiB live, 44.6MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	15	73
0	28	76
1	62	64
2	166	58
0	610	58

Stop Event

1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit

Counts

13 → 350

Calls

Call 1

Inputs
(.f64 (.f64 (neg.f64 b) a) (*.f64 b a))
(*.f64 (neg.f64 b) a)
(neg.f64 b)
(*.f64 b a)
(.f64 (.f64 b a) (*.f64 b a))
(.f64 (.f64 b (*.f64 a a)) b)
(.f64 b (.f64 a a))
(*.f64 a a)
(neg.f64 (.f64 (.f64 (*.f64 b a) a) b))
(.f64 (.f64 (*.f64 b a) a) b)
(.f64 (.f64 b a) a)
(.f64 (.f64 (*.f64 (neg.f64 b) a) b) a)
(.f64 (.f64 (neg.f64 b) a) b)

Outputs
(.f64 (.f64 (*.f64 a (neg.f64 b)) (fabs.f64 b)) a)
(.f64 (.f64 (*.f64 a a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (neg.f64 (neg.f64 b)) (.f64 (*.f64 a a) b))
(.f64 (fabs.f64 (.f64 (*.f64 a (neg.f64 b)) b)) a)
(.f64 (fabs.f64 (.f64 (*.f64 a b) b)) a)
(.f64 (fabs.f64 (.f64 (*.f64 a a) b)) (fabs.f64 b))
(.f64 (exp.f64 (log.f64 (.f64 a b))) (exp.f64 (log.f64 (*.f64 a b))))
(.f64 (.f64 (neg.f64 b) b) (*.f64 a a))
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (*.f64 a a)))
(.f64 (fabs.f64 b) (fabs.f64 (.f64 (*.f64 a a) b)))
(.f64 (fabs.f64 b) (.f64 (*.f64 a a) b))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 (.f64 (*.f64 a b) b) (neg.f64 a))
(.f64 (.f64 (*.f64 a b) b) a)
(.f64 (neg.f64 a) (.f64 (*.f64 a b) b))
(.f64 (neg.f64 a) (.f64 (*.f64 a (neg.f64 b)) b))
(.f64 (.f64 (*.f64 a (neg.f64 b)) b) (neg.f64 a))
(.f64 (.f64 (*.f64 a (neg.f64 b)) b) a)
(.f64 (.f64 (*.f64 a a) b) (neg.f64 (neg.f64 b)))
(.f64 (.f64 (*.f64 a a) b) (fabs.f64 b))
(.f64 (.f64 (*.f64 a a) b) (neg.f64 b))
(.f64 (.f64 (*.f64 a a) b) b)
(.f64 (.f64 a a) (*.f64 (neg.f64 b) b))
(.f64 (.f64 a a) (*.f64 b b))
(.f64 (.f64 a b) (*.f64 a b))
(.f64 (.f64 a b) (*.f64 a (neg.f64 b)))
(.f64 (.f64 a (neg.f64 b)) (*.f64 a b))
(.f64 (.f64 a (neg.f64 b)) (*.f64 a (neg.f64 b)))
(.f64 a (fabs.f64 (.f64 (*.f64 a b) b)))
(.f64 a (.f64 (*.f64 a b) b))
(.f64 a (.f64 (*.f64 a (neg.f64 b)) b))
(.f64 (neg.f64 b) (.f64 (*.f64 a a) b))
(.f64 b (.f64 (*.f64 a a) b))
(pow.f64 (exp.f64 (log.f64 (*.f64 a b))) #s(literal 2 binary64))
(pow.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)) #s(literal 1 binary64))
(pow.f64 (*.f64 a b) #s(literal 2 binary64))
(pow.f64 (*.f64 a (neg.f64 b)) #s(literal 2 binary64))
(neg.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)))
(sqrt.f64 (.f64 (pow.f64 (.f64 a b) #s(literal 2 binary64)) (pow.f64 (*.f64 a b) #s(literal 2 binary64))))
(fabs.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 a (neg.f64 b))) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 2 binary64))))
(*.f64 (neg.f64 (fabs.f64 b)) a)
(*.f64 (fabs.f64 b) (neg.f64 a))
(*.f64 (neg.f64 a) (fabs.f64 b))
(*.f64 (neg.f64 a) b)
(*.f64 a (neg.f64 (fabs.f64 b)))
(*.f64 a (neg.f64 b))
(*.f64 (neg.f64 b) a)
(*.f64 b (neg.f64 a))
(neg.f64 (*.f64 a b))
(neg.f64 b)
(.f64 (pow.f64 (.f64 a b) #s(literal 1/2 binary64)) (pow.f64 (*.f64 a b) #s(literal 1/2 binary64)))
(*.f64 (neg.f64 (neg.f64 b)) a)
(*.f64 (fabs.f64 (fabs.f64 b)) a)
(.f64 (sqrt.f64 (.f64 (*.f64 a (neg.f64 b)) b)) (sqrt.f64 (neg.f64 a)))
(.f64 (sqrt.f64 (.f64 a b)) (sqrt.f64 (*.f64 a b)))
(.f64 (sqrt.f64 (.f64 a (neg.f64 b))) (sqrt.f64 (*.f64 a (neg.f64 b))))
(.f64 (sqrt.f64 (.f64 (*.f64 a b) b)) (sqrt.f64 a))
(.f64 (sqrt.f64 a) (sqrt.f64 (.f64 (*.f64 a b) b)))
(.f64 (sqrt.f64 (neg.f64 b)) (sqrt.f64 (.f64 (*.f64 a a) b)))
(.f64 (sqrt.f64 (.f64 (*.f64 a a) b)) (sqrt.f64 (neg.f64 b)))
(.f64 (sqrt.f64 (.f64 (*.f64 a a) b)) (sqrt.f64 b))
(.f64 (sqrt.f64 b) (sqrt.f64 (.f64 (*.f64 a a) b)))
(*.f64 (pow.f64 b #s(literal 1 binary64)) a)
(*.f64 (fabs.f64 b) a)
(*.f64 (neg.f64 a) (neg.f64 b))
(*.f64 a (neg.f64 (neg.f64 b)))
(*.f64 a (fabs.f64 (fabs.f64 b)))
(*.f64 a (pow.f64 b #s(literal 1 binary64)))
(*.f64 a (fabs.f64 b))
(*.f64 a b)
(*.f64 (neg.f64 b) (neg.f64 a))
(*.f64 b a)
(pow.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(pow.f64 (*.f64 a b) #s(literal 1 binary64))
(pow.f64 (*.f64 a (neg.f64 b)) #s(literal 1 binary64))
(neg.f64 (*.f64 a (neg.f64 b)))
(sqrt.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)))
(fabs.f64 (*.f64 a b))
(fabs.f64 (*.f64 a (neg.f64 b)))
(exp.f64 (/.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 2 binary64)) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 1 binary64)))
(.f64 (.f64 (*.f64 a (neg.f64 b)) (fabs.f64 b)) a)
(.f64 (.f64 (*.f64 a a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (neg.f64 (neg.f64 b)) (.f64 (*.f64 a a) b))
(.f64 (fabs.f64 (.f64 (*.f64 a (neg.f64 b)) b)) a)
(.f64 (fabs.f64 (.f64 (*.f64 a b) b)) a)
(.f64 (fabs.f64 (.f64 (*.f64 a a) b)) (fabs.f64 b))
(.f64 (exp.f64 (log.f64 (.f64 a b))) (exp.f64 (log.f64 (*.f64 a b))))
(.f64 (.f64 (neg.f64 b) b) (*.f64 a a))
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (*.f64 a a)))
(.f64 (fabs.f64 b) (fabs.f64 (.f64 (*.f64 a a) b)))
(.f64 (fabs.f64 b) (.f64 (*.f64 a a) b))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 (.f64 (*.f64 a b) b) (neg.f64 a))
(.f64 (.f64 (*.f64 a b) b) a)
(.f64 (neg.f64 a) (.f64 (*.f64 a b) b))
(.f64 (neg.f64 a) (.f64 (*.f64 a (neg.f64 b)) b))
(.f64 (.f64 (*.f64 a (neg.f64 b)) b) (neg.f64 a))
(.f64 (.f64 (*.f64 a (neg.f64 b)) b) a)
(.f64 (.f64 (*.f64 a a) b) (neg.f64 (neg.f64 b)))
(.f64 (.f64 (*.f64 a a) b) (fabs.f64 b))
(.f64 (.f64 (*.f64 a a) b) (neg.f64 b))
(.f64 (.f64 (*.f64 a a) b) b)
(.f64 (.f64 a a) (*.f64 (neg.f64 b) b))
(.f64 (.f64 a a) (*.f64 b b))
(.f64 (.f64 a b) (*.f64 a b))
(.f64 (.f64 a b) (*.f64 a (neg.f64 b)))
(.f64 (.f64 a (neg.f64 b)) (*.f64 a b))
(.f64 (.f64 a (neg.f64 b)) (*.f64 a (neg.f64 b)))
(.f64 a (fabs.f64 (.f64 (*.f64 a b) b)))
(.f64 a (.f64 (*.f64 a b) b))
(.f64 a (.f64 (*.f64 a (neg.f64 b)) b))
(.f64 (neg.f64 b) (.f64 (*.f64 a a) b))
(.f64 b (.f64 (*.f64 a a) b))
(pow.f64 (exp.f64 (log.f64 (*.f64 a b))) #s(literal 2 binary64))
(pow.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)) #s(literal 1 binary64))
(pow.f64 (*.f64 a b) #s(literal 2 binary64))
(pow.f64 (*.f64 a (neg.f64 b)) #s(literal 2 binary64))
(neg.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)))
(sqrt.f64 (.f64 (pow.f64 (.f64 a b) #s(literal 2 binary64)) (pow.f64 (*.f64 a b) #s(literal 2 binary64))))
(fabs.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 a (neg.f64 b))) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 2 binary64))))
(.f64 (.f64 (*.f64 a (neg.f64 b)) (fabs.f64 b)) a)
(.f64 (.f64 (*.f64 a a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (neg.f64 (neg.f64 b)) (.f64 (*.f64 a a) b))
(.f64 (fabs.f64 (.f64 (*.f64 a (neg.f64 b)) b)) a)
(.f64 (fabs.f64 (.f64 (*.f64 a b) b)) a)
(.f64 (fabs.f64 (.f64 (*.f64 a a) b)) (fabs.f64 b))
(.f64 (exp.f64 (log.f64 (.f64 a b))) (exp.f64 (log.f64 (*.f64 a b))))
(.f64 (.f64 (neg.f64 b) b) (*.f64 a a))
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (*.f64 a a)))
(.f64 (fabs.f64 b) (fabs.f64 (.f64 (*.f64 a a) b)))
(.f64 (fabs.f64 b) (.f64 (*.f64 a a) b))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 (.f64 (*.f64 a b) b) (neg.f64 a))
(.f64 (.f64 (*.f64 a b) b) a)
(.f64 (neg.f64 a) (.f64 (*.f64 a b) b))
(.f64 (neg.f64 a) (.f64 (*.f64 a (neg.f64 b)) b))
(.f64 (.f64 (*.f64 a (neg.f64 b)) b) (neg.f64 a))
(.f64 (.f64 (*.f64 a (neg.f64 b)) b) a)
(.f64 (.f64 (*.f64 a a) b) (neg.f64 (neg.f64 b)))
(.f64 (.f64 (*.f64 a a) b) (fabs.f64 b))
(.f64 (.f64 (*.f64 a a) b) (neg.f64 b))
(.f64 (.f64 (*.f64 a a) b) b)
(.f64 (.f64 a a) (*.f64 (neg.f64 b) b))
(.f64 (.f64 a a) (*.f64 b b))
(.f64 (.f64 a b) (*.f64 a b))
(.f64 (.f64 a b) (*.f64 a (neg.f64 b)))
(.f64 (.f64 a (neg.f64 b)) (*.f64 a b))
(.f64 (.f64 a (neg.f64 b)) (*.f64 a (neg.f64 b)))
(.f64 a (fabs.f64 (.f64 (*.f64 a b) b)))
(.f64 a (.f64 (*.f64 a b) b))
(.f64 a (.f64 (*.f64 a (neg.f64 b)) b))
(.f64 (neg.f64 b) (.f64 (*.f64 a a) b))
(.f64 b (.f64 (*.f64 a a) b))
(pow.f64 (exp.f64 (log.f64 (*.f64 a b))) #s(literal 2 binary64))
(pow.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)) #s(literal 1 binary64))
(pow.f64 (*.f64 a b) #s(literal 2 binary64))
(pow.f64 (*.f64 a (neg.f64 b)) #s(literal 2 binary64))
(neg.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)))
(sqrt.f64 (.f64 (pow.f64 (.f64 a b) #s(literal 2 binary64)) (pow.f64 (*.f64 a b) #s(literal 2 binary64))))
(fabs.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 a (neg.f64 b))) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 2 binary64))))
(.f64 (neg.f64 a) (.f64 a b))
(.f64 (neg.f64 a) (.f64 a (neg.f64 b)))
(.f64 (.f64 a a) (neg.f64 b))
(.f64 (.f64 a a) b)
(.f64 (.f64 a b) (neg.f64 a))
(.f64 (.f64 a b) a)
(.f64 (.f64 a (neg.f64 b)) (neg.f64 a))
(.f64 (.f64 a (neg.f64 b)) a)
(.f64 a (.f64 a b))
(.f64 a (.f64 a (neg.f64 b)))
(.f64 (neg.f64 b) (.f64 a a))
(.f64 b (.f64 a a))
(neg.f64 (.f64 (.f64 a a) b))
(*.f64 (exp.f64 (log.f64 a)) (exp.f64 (log.f64 a)))
(*.f64 (neg.f64 a) (neg.f64 a))
(*.f64 (neg.f64 a) a)
(*.f64 a (neg.f64 a))
(*.f64 a a)
(pow.f64 (exp.f64 (log.f64 a)) #s(literal 2 binary64))
(pow.f64 (neg.f64 a) #s(literal 2 binary64))
(pow.f64 (*.f64 a a) #s(literal 1 binary64))
(pow.f64 a #s(literal 2 binary64))
(neg.f64 (*.f64 a a))
(sqrt.f64 (.f64 (.f64 a a) (*.f64 a a)))
(fabs.f64 (*.f64 a a))
(exp.f64 (*.f64 (log.f64 (neg.f64 a)) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 a) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 a) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 a) #s(literal 2 binary64))))
(.f64 (.f64 (*.f64 a (neg.f64 b)) (fabs.f64 b)) a)
(.f64 (.f64 (*.f64 a a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (neg.f64 (neg.f64 b)) (.f64 (*.f64 a a) b))
(.f64 (fabs.f64 (.f64 (*.f64 a (neg.f64 b)) b)) a)
(.f64 (fabs.f64 (.f64 (*.f64 a b) b)) a)
(.f64 (fabs.f64 (.f64 (*.f64 a a) b)) (fabs.f64 b))
(.f64 (exp.f64 (log.f64 (.f64 a b))) (exp.f64 (log.f64 (*.f64 a b))))
(.f64 (.f64 (neg.f64 b) b) (*.f64 a a))
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (*.f64 a a)))
(.f64 (fabs.f64 b) (fabs.f64 (.f64 (*.f64 a a) b)))
(.f64 (fabs.f64 b) (.f64 (*.f64 a a) b))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 (.f64 (*.f64 a b) b) (neg.f64 a))
(.f64 (.f64 (*.f64 a b) b) a)
(.f64 (neg.f64 a) (.f64 (*.f64 a b) b))
(.f64 (neg.f64 a) (.f64 (*.f64 a (neg.f64 b)) b))
(.f64 (.f64 (*.f64 a (neg.f64 b)) b) (neg.f64 a))
(.f64 (.f64 (*.f64 a (neg.f64 b)) b) a)
(.f64 (.f64 (*.f64 a a) b) (neg.f64 (neg.f64 b)))
(.f64 (.f64 (*.f64 a a) b) (fabs.f64 b))
(.f64 (.f64 (*.f64 a a) b) (neg.f64 b))
(.f64 (.f64 (*.f64 a a) b) b)
(.f64 (.f64 a a) (*.f64 (neg.f64 b) b))
(.f64 (.f64 a a) (*.f64 b b))
(.f64 (.f64 a b) (*.f64 a b))
(.f64 (.f64 a b) (*.f64 a (neg.f64 b)))
(.f64 (.f64 a (neg.f64 b)) (*.f64 a b))
(.f64 (.f64 a (neg.f64 b)) (*.f64 a (neg.f64 b)))
(.f64 a (fabs.f64 (.f64 (*.f64 a b) b)))
(.f64 a (.f64 (*.f64 a b) b))
(.f64 a (.f64 (*.f64 a (neg.f64 b)) b))
(.f64 (neg.f64 b) (.f64 (*.f64 a a) b))
(.f64 b (.f64 (*.f64 a a) b))
(pow.f64 (exp.f64 (log.f64 (*.f64 a b))) #s(literal 2 binary64))
(pow.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)) #s(literal 1 binary64))
(pow.f64 (*.f64 a b) #s(literal 2 binary64))
(pow.f64 (*.f64 a (neg.f64 b)) #s(literal 2 binary64))
(neg.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)))
(sqrt.f64 (.f64 (pow.f64 (.f64 a b) #s(literal 2 binary64)) (pow.f64 (*.f64 a b) #s(literal 2 binary64))))
(fabs.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 a (neg.f64 b))) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 2 binary64))))
(.f64 (.f64 (*.f64 a (neg.f64 b)) (fabs.f64 b)) a)
(.f64 (.f64 (*.f64 a a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (neg.f64 (neg.f64 b)) (.f64 (*.f64 a a) b))
(.f64 (fabs.f64 (.f64 (*.f64 a (neg.f64 b)) b)) a)
(.f64 (fabs.f64 (.f64 (*.f64 a b) b)) a)
(.f64 (fabs.f64 (.f64 (*.f64 a a) b)) (fabs.f64 b))
(.f64 (exp.f64 (log.f64 (.f64 a b))) (exp.f64 (log.f64 (*.f64 a b))))
(.f64 (.f64 (neg.f64 b) b) (*.f64 a a))
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (*.f64 a a)))
(.f64 (fabs.f64 b) (fabs.f64 (.f64 (*.f64 a a) b)))
(.f64 (fabs.f64 b) (.f64 (*.f64 a a) b))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 (.f64 (*.f64 a b) b) (neg.f64 a))
(.f64 (.f64 (*.f64 a b) b) a)
(.f64 (neg.f64 a) (.f64 (*.f64 a b) b))
(.f64 (neg.f64 a) (.f64 (*.f64 a (neg.f64 b)) b))
(.f64 (.f64 (*.f64 a (neg.f64 b)) b) (neg.f64 a))
(.f64 (.f64 (*.f64 a (neg.f64 b)) b) a)
(.f64 (.f64 (*.f64 a a) b) (neg.f64 (neg.f64 b)))
(.f64 (.f64 (*.f64 a a) b) (fabs.f64 b))
(.f64 (.f64 (*.f64 a a) b) (neg.f64 b))
(.f64 (.f64 (*.f64 a a) b) b)
(.f64 (.f64 a a) (*.f64 (neg.f64 b) b))
(.f64 (.f64 a a) (*.f64 b b))
(.f64 (.f64 a b) (*.f64 a b))
(.f64 (.f64 a b) (*.f64 a (neg.f64 b)))
(.f64 (.f64 a (neg.f64 b)) (*.f64 a b))
(.f64 (.f64 a (neg.f64 b)) (*.f64 a (neg.f64 b)))
(.f64 a (fabs.f64 (.f64 (*.f64 a b) b)))
(.f64 a (.f64 (*.f64 a b) b))
(.f64 a (.f64 (*.f64 a (neg.f64 b)) b))
(.f64 (neg.f64 b) (.f64 (*.f64 a a) b))
(.f64 b (.f64 (*.f64 a a) b))
(pow.f64 (exp.f64 (log.f64 (*.f64 a b))) #s(literal 2 binary64))
(pow.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)) #s(literal 1 binary64))
(pow.f64 (*.f64 a b) #s(literal 2 binary64))
(pow.f64 (*.f64 a (neg.f64 b)) #s(literal 2 binary64))
(neg.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)))
(sqrt.f64 (.f64 (pow.f64 (.f64 a b) #s(literal 2 binary64)) (pow.f64 (*.f64 a b) #s(literal 2 binary64))))
(fabs.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 a (neg.f64 b))) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 2 binary64))))
(.f64 (neg.f64 a) (.f64 a b))
(.f64 (neg.f64 a) (.f64 a (neg.f64 b)))
(.f64 (.f64 a a) (neg.f64 b))
(.f64 (.f64 a a) b)
(.f64 (.f64 a b) (neg.f64 a))
(.f64 (.f64 a b) a)
(.f64 (.f64 a (neg.f64 b)) (neg.f64 a))
(.f64 (.f64 a (neg.f64 b)) a)
(.f64 a (.f64 a b))
(.f64 a (.f64 a (neg.f64 b)))
(.f64 (neg.f64 b) (.f64 a a))
(.f64 b (.f64 a a))
(neg.f64 (.f64 (.f64 a a) b))
(.f64 (.f64 (*.f64 a (neg.f64 b)) (fabs.f64 b)) a)
(.f64 (.f64 (*.f64 a a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (neg.f64 (neg.f64 b)) (.f64 (*.f64 a a) b))
(.f64 (fabs.f64 (.f64 (*.f64 a (neg.f64 b)) b)) a)
(.f64 (fabs.f64 (.f64 (*.f64 a b) b)) a)
(.f64 (fabs.f64 (.f64 (*.f64 a a) b)) (fabs.f64 b))
(.f64 (exp.f64 (log.f64 (.f64 a b))) (exp.f64 (log.f64 (*.f64 a b))))
(.f64 (.f64 (neg.f64 b) b) (*.f64 a a))
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (*.f64 a a)))
(.f64 (fabs.f64 b) (fabs.f64 (.f64 (*.f64 a a) b)))
(.f64 (fabs.f64 b) (.f64 (*.f64 a a) b))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 (.f64 (*.f64 a b) b) (neg.f64 a))
(.f64 (.f64 (*.f64 a b) b) a)
(.f64 (neg.f64 a) (.f64 (*.f64 a b) b))
(.f64 (neg.f64 a) (.f64 (*.f64 a (neg.f64 b)) b))
(.f64 (.f64 (*.f64 a (neg.f64 b)) b) (neg.f64 a))
(.f64 (.f64 (*.f64 a (neg.f64 b)) b) a)
(.f64 (.f64 (*.f64 a a) b) (neg.f64 (neg.f64 b)))
(.f64 (.f64 (*.f64 a a) b) (fabs.f64 b))
(.f64 (.f64 (*.f64 a a) b) (neg.f64 b))
(.f64 (.f64 (*.f64 a a) b) b)
(.f64 (.f64 a a) (*.f64 (neg.f64 b) b))
(.f64 (.f64 a a) (*.f64 b b))
(.f64 (.f64 a b) (*.f64 a b))
(.f64 (.f64 a b) (*.f64 a (neg.f64 b)))
(.f64 (.f64 a (neg.f64 b)) (*.f64 a b))
(.f64 (.f64 a (neg.f64 b)) (*.f64 a (neg.f64 b)))
(.f64 a (fabs.f64 (.f64 (*.f64 a b) b)))
(.f64 a (.f64 (*.f64 a b) b))
(.f64 a (.f64 (*.f64 a (neg.f64 b)) b))
(.f64 (neg.f64 b) (.f64 (*.f64 a a) b))
(.f64 b (.f64 (*.f64 a a) b))
(pow.f64 (exp.f64 (log.f64 (*.f64 a b))) #s(literal 2 binary64))
(pow.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)) #s(literal 1 binary64))
(pow.f64 (*.f64 a b) #s(literal 2 binary64))
(pow.f64 (*.f64 a (neg.f64 b)) #s(literal 2 binary64))
(neg.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)))
(sqrt.f64 (.f64 (pow.f64 (.f64 a b) #s(literal 2 binary64)) (pow.f64 (*.f64 a b) #s(literal 2 binary64))))
(fabs.f64 (pow.f64 (*.f64 a b) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 a (neg.f64 b))) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 2 binary64))))
(.f64 (.f64 (neg.f64 b) b) a)
(.f64 (fabs.f64 b) (.f64 a (neg.f64 b)))
(.f64 (.f64 b b) (neg.f64 a))
(.f64 (neg.f64 a) (.f64 b b))
(.f64 (.f64 a b) (neg.f64 b))
(.f64 (.f64 a (neg.f64 b)) b)
(.f64 a (.f64 (neg.f64 b) b))
(.f64 (neg.f64 b) (.f64 a b))
(.f64 b (.f64 a (neg.f64 b)))
(neg.f64 (.f64 (.f64 a b) b))

eval25.0ms (1%)

Memory: -6.2MiB live, 38.5MiB allocated; 8ms collecting garbage
Compiler: Compiled 2 386 to 461 computations (80.7% saved)

prune401.0ms (16.3%)

Memory

5.9MiB live, 115.9MiB allocated; 680ms collecting garbage

Pruning

11 alts after pruning (5 fresh and 6 done)

	Pruned	Kept	Total
New	235	3	238
Fresh	2	2	4
Picked	0	5	5
Done	0	1	1
Total	237	11	248

Accuracy

100.0%

Counts

248 → 11

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	83.8%	(.f64 (.f64 (*.f64 (neg.f64 b) b) a) a)
✓	95.8%	(.f64 (.f64 (*.f64 (neg.f64 b) a) b) a)
▶	34.5%	(.f64 (.f64 (*.f64 b a) b) a)
▶	34.7%	(.f64 (.f64 (*.f64 a b) a) b)
▶	99.6%	(.f64 (.f64 (neg.f64 b) a) (.f64 (sqrt.f64 (.f64 a b)) (sqrt.f64 (*.f64 a b))))
✓	99.7%	(.f64 (.f64 (neg.f64 b) a) (*.f64 b a))
✓	34.8%	(.f64 (.f64 b (*.f64 a a)) b)
▶	34.4%	(.f64 (.f64 b b) (*.f64 a a))
✓	34.6%	(.f64 (.f64 b a) (*.f64 b a))
✓	93.4%	(neg.f64 (.f64 (.f64 (*.f64 b a) a) b))
✓	84.6%	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

Compiler

Compiled 132 to 91 computations (31.1% saved)

simplify172.0ms (7%)

Memory

5.3MiB live, 97.1MiB allocated; 5ms collecting garbage

Localize:

Found 17 expressions of interest:

New	Metric	Score
cost-diff	0	(neg.f64 b)
cost-diff	0	(*.f64 (neg.f64 b) b)
cost-diff	0	(.f64 (.f64 (neg.f64 b) b) a)
cost-diff	1	(.f64 (.f64 (*.f64 (neg.f64 b) b) a) a)
cost-diff	0	(*.f64 b a)
cost-diff	0	(.f64 (.f64 b a) b)
cost-diff	1	(.f64 (.f64 (*.f64 b a) b) a)
cost-diff	0	(*.f64 a b)
cost-diff	0	(.f64 (.f64 a b) a)
cost-diff	1	(.f64 (.f64 (*.f64 a b) a) b)
cost-diff	0	(*.f64 a a)
cost-diff	0	(*.f64 b b)
cost-diff	1	(.f64 (.f64 b b) (*.f64 a a))
cost-diff	0	(neg.f64 b)
cost-diff	0	(*.f64 (neg.f64 b) a)
cost-diff	1	(.f64 (.f64 (neg.f64 b) a) (.f64 (sqrt.f64 (.f64 a b)) (sqrt.f64 (*.f64 a b))))
cost-diff	6	(.f64 (sqrt.f64 (.f64 a b)) (sqrt.f64 (*.f64 a b)))

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	19	109
0	36	97
1	79	97
2	230	97
3	724	92
4	1083	92
5	1376	92
6	1380	92
7	1390	92
8	1422	92
9	1605	92
10	3199	92
11	6205	92
0	8310	92

Stop Event

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

Calls

Call 1

Inputs
(.f64 (.f64 (neg.f64 b) a) (.f64 (sqrt.f64 (.f64 a b)) (sqrt.f64 (*.f64 a b))))
(*.f64 (neg.f64 b) a)
(neg.f64 b)
b
a
(.f64 (sqrt.f64 (.f64 a b)) (sqrt.f64 (*.f64 a b)))
(sqrt.f64 (*.f64 a b))
(*.f64 a b)
(.f64 (.f64 b b) (*.f64 a a))
(*.f64 b b)
b
(*.f64 a a)
a
(.f64 (.f64 (*.f64 a b) a) b)
(.f64 (.f64 a b) a)
(*.f64 a b)
a
b
(.f64 (.f64 (*.f64 b a) b) a)
(.f64 (.f64 b a) b)
(*.f64 b a)
b
a
(.f64 (.f64 (*.f64 (neg.f64 b) b) a) a)
(.f64 (.f64 (neg.f64 b) b) a)
(*.f64 (neg.f64 b) b)
(neg.f64 b)
b
a

Outputs
(.f64 (.f64 (neg.f64 b) a) (.f64 (sqrt.f64 (.f64 a b)) (sqrt.f64 (*.f64 a b))))
(neg.f64 (pow.f64 (sqrt.f64 (*.f64 a b)) #s(literal 4 binary64)))
(*.f64 (neg.f64 b) a)
(*.f64 a (neg.f64 b))
(neg.f64 b)
b
a
(.f64 (sqrt.f64 (.f64 a b)) (sqrt.f64 (*.f64 a b)))
(*.f64 a b)
(sqrt.f64 (*.f64 a b))
(*.f64 a b)
(.f64 (.f64 b b) (*.f64 a a))
(pow.f64 (sqrt.f64 (*.f64 a b)) #s(literal 4 binary64))
(*.f64 b b)
b
(*.f64 a a)
a
(.f64 (.f64 (*.f64 a b) a) b)
(pow.f64 (sqrt.f64 (*.f64 a b)) #s(literal 4 binary64))
(.f64 (.f64 a b) a)
(.f64 (.f64 a a) b)
(*.f64 a b)
a
b
(.f64 (.f64 (*.f64 b a) b) a)
(pow.f64 (sqrt.f64 (*.f64 a b)) #s(literal 4 binary64))
(.f64 (.f64 b a) b)
(.f64 (.f64 b b) a)
(*.f64 b a)
(*.f64 a b)
b
a
(.f64 (.f64 (*.f64 (neg.f64 b) b) a) a)
(neg.f64 (pow.f64 (sqrt.f64 (*.f64 a b)) #s(literal 4 binary64)))
(.f64 (.f64 (neg.f64 b) b) a)
(*.f64 (neg.f64 b) b)
(neg.f64 b)
b
a

localize60.0ms (2.4%)

Memory

8.9MiB live, 60.9MiB allocated; 5ms collecting garbage

Localize:

Found 17 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 (neg.f64 b) b)
accuracy	0.0	(neg.f64 b)
accuracy	2.620707637787172	(.f64 (.f64 (*.f64 (neg.f64 b) b) a) a)
accuracy	7.629113824420289	(.f64 (.f64 (neg.f64 b) b) a)
accuracy	0.0	(*.f64 b a)
accuracy	0.08984375	(.f64 (.f64 b a) b)
accuracy	2.620707637787172	(.f64 (.f64 (*.f64 b a) b) a)
accuracy	0.0	(*.f64 a b)
accuracy	0.1015625	(.f64 (.f64 a b) a)
accuracy	4.206596012782085	(.f64 (.f64 (*.f64 a b) a) b)
accuracy	0.0	(*.f64 b b)
accuracy	0.0	(*.f64 a a)
accuracy	13.393280482751242	(.f64 (.f64 b b) (*.f64 a a))
accuracy	0.0	(neg.f64 b)
accuracy	0.174160009768442	(.f64 (.f64 (neg.f64 b) a) (.f64 (sqrt.f64 (.f64 a b)) (sqrt.f64 (*.f64 a b))))
accuracy	0.33107377930532605	(.f64 (sqrt.f64 (.f64 a b)) (sqrt.f64 (*.f64 a b)))
accuracy	15.92737144474589	(sqrt.f64 (*.f64 a b))

Samples

47.0ms

256×

valid

Compiler

Compiled 111 to 21 computations (81.1% saved)

Precisions

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

ival-mult: 23.0ms (65.6% of total)

ival-sqrt: 11.0ms (31.4% of total)

ival-neg: 1.0ms (2.9% of total)

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

adjust: 0.0ms (0% of total)

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

series26.0ms (1.1%)

Memory

-26.4MiB live, 19.7MiB allocated; 6ms collecting garbage

Counts

17 → 15

Calls

Call 1

Inputs
(.f64 (sqrt.f64 (.f64 a b)) (sqrt.f64 (*.f64 a b)))
(.f64 (.f64 (neg.f64 b) a) (.f64 (sqrt.f64 (.f64 a b)) (sqrt.f64 (*.f64 a b))))
(*.f64 (neg.f64 b) a)
(neg.f64 b)
(.f64 (.f64 b b) (*.f64 a a))
(*.f64 b b)
(*.f64 a a)
(.f64 (.f64 (*.f64 a b) a) b)
(.f64 (.f64 a b) a)
(*.f64 a b)
(.f64 (.f64 (*.f64 b a) b) a)
(.f64 (.f64 b a) b)
(*.f64 b a)
(.f64 (.f64 (*.f64 (neg.f64 b) b) a) a)
(.f64 (.f64 (neg.f64 b) b) a)
(*.f64 (neg.f64 b) b)
(sqrt.f64 (*.f64 a b))

Outputs
(* a b)
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* a b))
(* (pow a 2) (pow b 2))
(pow a 2)
(* (pow a 2) b)
(* a (pow b 2))
(* -1 (* a (pow b 2)))
(sqrt (* a b))
(* -1 (* a (* b (pow (sqrt -1) 2))))
(* (pow a 2) (* (pow b 2) (pow (sqrt -1) 2)))
(* -1 (* (sqrt (* a b)) (pow (sqrt -1) 2)))
(* -1 b)
(pow b 2)
(* -1 (pow b 2))

Calls

6 calls:

Time	Variable		Point	Expression
12.0ms	a	@	inf	((* (sqrt (* a b)) (sqrt (* a b))) (* (* (neg b) a) (* (sqrt (* a b)) (sqrt (* a b)))) (* (neg b) a) (neg b) (* (* b b) (* a a)) (* b b) (* a a) (* (* (* a b) a) b) (* (* a b) a) (* a b) (* (* (* b a) b) a) (* (* b a) b) (* b a) (* (* (* (neg b) b) a) a) (* (* (neg b) b) a) (* (neg b) b) (sqrt (* a b)))
4.0ms	a	@	-inf	((* (sqrt (* a b)) (sqrt (* a b))) (* (* (neg b) a) (* (sqrt (* a b)) (sqrt (* a b)))) (* (neg b) a) (neg b) (* (* b b) (* a a)) (* b b) (* a a) (* (* (* a b) a) b) (* (* a b) a) (* a b) (* (* (* b a) b) a) (* (* b a) b) (* b a) (* (* (* (neg b) b) a) a) (* (* (neg b) b) a) (* (neg b) b) (sqrt (* a b)))
3.0ms	b	@	-inf	((* (sqrt (* a b)) (sqrt (* a b))) (* (* (neg b) a) (* (sqrt (* a b)) (sqrt (* a b)))) (* (neg b) a) (neg b) (* (* b b) (* a a)) (* b b) (* a a) (* (* (* a b) a) b) (* (* a b) a) (* a b) (* (* (* b a) b) a) (* (* b a) b) (* b a) (* (* (* (neg b) b) a) a) (* (* (neg b) b) a) (* (neg b) b) (sqrt (* a b)))
2.0ms	b	@	inf	((* (sqrt (* a b)) (sqrt (* a b))) (* (* (neg b) a) (* (sqrt (* a b)) (sqrt (* a b)))) (* (neg b) a) (neg b) (* (* b b) (* a a)) (* b b) (* a a) (* (* (* a b) a) b) (* (* a b) a) (* a b) (* (* (* b a) b) a) (* (* b a) b) (* b a) (* (* (* (neg b) b) a) a) (* (* (neg b) b) a) (* (neg b) b) (sqrt (* a b)))
2.0ms	a	@	0	((* (sqrt (* a b)) (sqrt (* a b))) (* (* (neg b) a) (* (sqrt (* a b)) (sqrt (* a b)))) (* (neg b) a) (neg b) (* (* b b) (* a a)) (* b b) (* a a) (* (* (* a b) a) b) (* (* a b) a) (* a b) (* (* (* b a) b) a) (* (* b a) b) (* b a) (* (* (* (neg b) b) a) a) (* (* (neg b) b) a) (* (neg b) b) (sqrt (* a b)))

simplify22.0ms (0.9%)

Memory

14.8MiB live, 14.8MiB allocated; 0ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	69
1	63	69
2	177	69
0	621	69

Stop Event

1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound

Counts

15 → 15

Calls

Call 1

Inputs
(* a b)
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (* a b))
(* (pow a 2) (pow b 2))
(pow a 2)
(* (pow a 2) b)
(* a (pow b 2))
(* -1 (* a (pow b 2)))
(sqrt (* a b))
(* -1 (* a (* b (pow (sqrt -1) 2))))
(* (pow a 2) (* (pow b 2) (pow (sqrt -1) 2)))
(* -1 (* (sqrt (* a b)) (pow (sqrt -1) 2)))
(* -1 b)
(pow b 2)
(* -1 (pow b 2))

Outputs
(* a b)
(*.f64 b a)
(* -1 (* (pow a 2) (pow b 2)))
(.f64 (.f64 (*.f64 (neg.f64 a) a) b) b)
(* -1 (* a b))
(*.f64 (neg.f64 a) b)
(* (pow a 2) (pow b 2))
(.f64 (.f64 (*.f64 b b) a) a)
(pow a 2)
(*.f64 a a)
(* (pow a 2) b)
(.f64 (.f64 a a) b)
(* a (pow b 2))
(.f64 (.f64 b b) a)
(* -1 (* a (pow b 2)))
(.f64 (.f64 (neg.f64 b) b) a)
(sqrt (* a b))
(sqrt.f64 (*.f64 b a))
(* -1 (* a (* b (pow (sqrt -1) 2))))
(*.f64 b a)
(* (pow a 2) (* (pow b 2) (pow (sqrt -1) 2)))
(.f64 (.f64 (*.f64 (neg.f64 a) a) b) b)
(* -1 (* (sqrt (* a b)) (pow (sqrt -1) 2)))
(sqrt.f64 (*.f64 b a))
(* -1 b)
(neg.f64 b)
(pow b 2)
(*.f64 b b)
(* -1 (pow b 2))
(*.f64 (neg.f64 b) b)

rewrite50.0ms (2%)

Memory

-17.0MiB live, 28.8MiB allocated; 3ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	94
0	36	82
1	89	72
0	331	72

Stop Event

1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit

Counts

17 → 294

Calls

Call 1

Inputs
(.f64 (sqrt.f64 (.f64 a b)) (sqrt.f64 (*.f64 a b)))
(.f64 (.f64 (neg.f64 b) a) (.f64 (sqrt.f64 (.f64 a b)) (sqrt.f64 (*.f64 a b))))
(*.f64 (neg.f64 b) a)
(neg.f64 b)
(.f64 (.f64 b b) (*.f64 a a))
(*.f64 b b)
(*.f64 a a)
(.f64 (.f64 (*.f64 a b) a) b)
(.f64 (.f64 a b) a)
(*.f64 a b)
(.f64 (.f64 (*.f64 b a) b) a)
(.f64 (.f64 b a) b)
(*.f64 b a)
(.f64 (.f64 (*.f64 (neg.f64 b) b) a) a)
(.f64 (.f64 (neg.f64 b) b) a)
(*.f64 (neg.f64 b) b)
(sqrt.f64 (*.f64 a b))

Outputs
(.f64 (.f64 (sqrt.f64 (*.f64 b a)) (sqrt.f64 a)) (sqrt.f64 b))
(.f64 (.f64 (sqrt.f64 a) (sqrt.f64 a)) (*.f64 (sqrt.f64 b) (sqrt.f64 b)))
(.f64 (neg.f64 (neg.f64 (sqrt.f64 (.f64 b a)))) (neg.f64 (neg.f64 (sqrt.f64 (*.f64 b a)))))
(.f64 (sqrt.f64 (.f64 (*.f64 a a) b)) (sqrt.f64 b))
(.f64 (sqrt.f64 (.f64 (*.f64 b b) a)) (sqrt.f64 a))
(*.f64 (pow.f64 (sqrt.f64 a) #s(literal 2 binary64)) (pow.f64 (sqrt.f64 b) #s(literal 2 binary64)))
(.f64 (neg.f64 (sqrt.f64 (.f64 b a))) (neg.f64 (sqrt.f64 (*.f64 b a))))
(*.f64 (fabs.f64 a) (fabs.f64 b))
(*.f64 (fabs.f64 b) (fabs.f64 a))
(.f64 (sqrt.f64 b) (sqrt.f64 (.f64 (*.f64 a a) b)))
(.f64 (sqrt.f64 a) (.f64 (sqrt.f64 b) (sqrt.f64 (*.f64 b a))))
(.f64 (sqrt.f64 a) (sqrt.f64 (.f64 (*.f64 b b) a)))
(.f64 (sqrt.f64 (.f64 b a)) (sqrt.f64 (*.f64 b a)))
(*.f64 b a)
(*.f64 a b)
(pow.f64 (neg.f64 (sqrt.f64 (*.f64 b a))) #s(literal 2 binary64))
(pow.f64 (pow.f64 (*.f64 b a) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (*.f64 b a)) #s(literal 2 binary64))
(pow.f64 (*.f64 b a) #s(literal 1 binary64))
(neg.f64 (*.f64 (neg.f64 b) a))
(sqrt.f64 (pow.f64 (*.f64 b a) #s(literal 2 binary64)))
(fabs.f64 (*.f64 b a))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 b a))) #s(literal 2 binary64)))
(.f64 (.f64 (*.f64 (neg.f64 b) b) (neg.f64 a)) (neg.f64 a))
(.f64 (.f64 (*.f64 (neg.f64 b) b) (fabs.f64 a)) (fabs.f64 a))
(.f64 (.f64 (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (*.f64 b a))) (sqrt.f64 a)) (sqrt.f64 b))
(.f64 (.f64 (.f64 (neg.f64 b) a) (neg.f64 (sqrt.f64 (.f64 b a)))) (neg.f64 (sqrt.f64 (*.f64 b a))))
(.f64 (.f64 (*.f64 (neg.f64 b) a) a) b)
(.f64 (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (.f64 b a))) (sqrt.f64 (*.f64 b a)))
(.f64 (neg.f64 (sqrt.f64 (.f64 b a))) (.f64 (neg.f64 (sqrt.f64 (.f64 b a))) (*.f64 (neg.f64 b) a)))
(.f64 (.f64 (*.f64 (neg.f64 b) b) a) a)
(.f64 (.f64 (neg.f64 b) b) (*.f64 a a))
(.f64 (.f64 (*.f64 a a) b) (neg.f64 b))
(.f64 (.f64 a a) (*.f64 (neg.f64 b) b))
(.f64 (.f64 (neg.f64 b) a) (*.f64 b a))
(.f64 (neg.f64 b) (.f64 (*.f64 a a) b))
(.f64 (sqrt.f64 (.f64 b a)) (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (*.f64 b a))))
(.f64 (.f64 b a) (*.f64 (neg.f64 b) a))
(.f64 b (.f64 (neg.f64 b) (*.f64 a a)))
(.f64 b (.f64 a (*.f64 (neg.f64 b) a)))
(.f64 a (.f64 (*.f64 (neg.f64 b) b) a))
(neg.f64 (pow.f64 (*.f64 b a) #s(literal 2 binary64)))
(.f64 (neg.f64 (neg.f64 (sqrt.f64 (.f64 b a)))) (neg.f64 (sqrt.f64 (*.f64 b a))))
(*.f64 (neg.f64 a) b)
(.f64 (neg.f64 (sqrt.f64 (.f64 b a))) (neg.f64 (neg.f64 (sqrt.f64 (*.f64 b a)))))
(.f64 (neg.f64 (sqrt.f64 (.f64 b a))) (sqrt.f64 (*.f64 b a)))
(*.f64 (neg.f64 b) a)
(.f64 (sqrt.f64 (.f64 b a)) (neg.f64 (sqrt.f64 (*.f64 b a))))
(*.f64 b (neg.f64 a))
(*.f64 a (neg.f64 b))
(neg.f64 (*.f64 b a))
(neg.f64 b)
(.f64 (.f64 (*.f64 a a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (.f64 (*.f64 a a) (neg.f64 b)) (neg.f64 b))
(.f64 (.f64 (*.f64 b b) (neg.f64 a)) (neg.f64 a))
(.f64 (.f64 (*.f64 b b) (fabs.f64 a)) (fabs.f64 a))
(.f64 (.f64 (.f64 b a) (neg.f64 (sqrt.f64 (.f64 b a)))) (neg.f64 (sqrt.f64 (*.f64 b a))))
(.f64 (.f64 (.f64 b a) (sqrt.f64 (.f64 b a))) (sqrt.f64 (*.f64 b a)))
(.f64 (.f64 (neg.f64 a) (fabs.f64 b)) (*.f64 (neg.f64 a) (fabs.f64 b)))
(.f64 (.f64 (neg.f64 a) (neg.f64 b)) (*.f64 (neg.f64 a) (neg.f64 b)))
(.f64 (.f64 (fabs.f64 a) (neg.f64 b)) (*.f64 (fabs.f64 a) (neg.f64 b)))
(.f64 (.f64 (fabs.f64 a) b) (*.f64 (fabs.f64 a) b))
(.f64 (.f64 a (fabs.f64 b)) (*.f64 a (fabs.f64 b)))
(.f64 (.f64 (fabs.f64 b) (neg.f64 a)) (*.f64 (fabs.f64 b) (neg.f64 a)))
(.f64 (.f64 (fabs.f64 b) a) (*.f64 (fabs.f64 b) a))
(.f64 (.f64 (neg.f64 b) (neg.f64 a)) (*.f64 (neg.f64 b) (neg.f64 a)))
(.f64 (.f64 (neg.f64 b) (fabs.f64 a)) (*.f64 (neg.f64 b) (fabs.f64 a)))
(.f64 (.f64 b (fabs.f64 a)) (*.f64 b (fabs.f64 a)))
(.f64 (neg.f64 a) (.f64 (neg.f64 a) (*.f64 b b)))
(.f64 (neg.f64 (sqrt.f64 (.f64 b a))) (.f64 (neg.f64 (sqrt.f64 (.f64 b a))) (*.f64 b a)))
(.f64 (fabs.f64 a) (.f64 (fabs.f64 a) (*.f64 b b)))
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (*.f64 a a)))
(.f64 (.f64 (*.f64 b b) a) a)
(.f64 (.f64 (*.f64 a a) b) b)
(.f64 (.f64 a a) (*.f64 b b))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 (.f64 (neg.f64 b) a) (*.f64 (neg.f64 b) a))
(.f64 (neg.f64 b) (.f64 (neg.f64 b) (*.f64 a a)))
(.f64 (sqrt.f64 (.f64 b a)) (.f64 (sqrt.f64 (.f64 b a)) (*.f64 b a)))
(.f64 (.f64 b a) (*.f64 b a))
(.f64 b (.f64 (*.f64 a a) b))
(.f64 a (.f64 (*.f64 b b) a))
(pow.f64 (sqrt.f64 (*.f64 b a)) #s(literal 4 binary64))
(pow.f64 (*.f64 b a) #s(literal 2 binary64))
(sqrt.f64 (.f64 (pow.f64 (.f64 b a) #s(literal 2 binary64)) (pow.f64 (*.f64 b a) #s(literal 2 binary64))))
(*.f64 (pow.f64 b #s(literal 1 binary64)) (pow.f64 b #s(literal 1 binary64)))
(*.f64 (neg.f64 (fabs.f64 b)) (neg.f64 (fabs.f64 b)))
(*.f64 (neg.f64 (neg.f64 b)) (neg.f64 (neg.f64 b)))
(*.f64 (fabs.f64 (fabs.f64 b)) (fabs.f64 (fabs.f64 b)))
(*.f64 (fabs.f64 b) (fabs.f64 b))
(*.f64 (neg.f64 b) (neg.f64 b))
(*.f64 b b)
(pow.f64 (fabs.f64 b) #s(literal 2 binary64))
(pow.f64 (neg.f64 b) #s(literal 2 binary64))
(pow.f64 b #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 b) b))
(fabs.f64 (*.f64 b b))
(exp.f64 (*.f64 (log.f64 b) #s(literal 2 binary64)))
(*.f64 (pow.f64 a #s(literal 1 binary64)) (pow.f64 a #s(literal 1 binary64)))
(*.f64 (neg.f64 (neg.f64 a)) (neg.f64 (neg.f64 a)))
(*.f64 (neg.f64 (fabs.f64 a)) (neg.f64 (fabs.f64 a)))
(*.f64 (fabs.f64 (fabs.f64 a)) (fabs.f64 (fabs.f64 a)))
(*.f64 (neg.f64 a) (neg.f64 a))
(*.f64 (fabs.f64 a) (fabs.f64 a))
(*.f64 a a)
(pow.f64 (neg.f64 a) #s(literal 2 binary64))
(pow.f64 (fabs.f64 a) #s(literal 2 binary64))
(pow.f64 a #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 a) a))
(neg.f64 (*.f64 a (neg.f64 a)))
(fabs.f64 (*.f64 a a))
(exp.f64 (*.f64 (log.f64 a) #s(literal 2 binary64)))
(.f64 (.f64 (*.f64 a a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (.f64 (*.f64 a a) (neg.f64 b)) (neg.f64 b))
(.f64 (.f64 (*.f64 b b) (neg.f64 a)) (neg.f64 a))
(.f64 (.f64 (*.f64 b b) (fabs.f64 a)) (fabs.f64 a))
(.f64 (.f64 (.f64 b a) (neg.f64 (sqrt.f64 (.f64 b a)))) (neg.f64 (sqrt.f64 (*.f64 b a))))
(.f64 (.f64 (.f64 b a) (sqrt.f64 (.f64 b a))) (sqrt.f64 (*.f64 b a)))
(.f64 (.f64 (neg.f64 a) (fabs.f64 b)) (*.f64 (neg.f64 a) (fabs.f64 b)))
(.f64 (.f64 (neg.f64 a) (neg.f64 b)) (*.f64 (neg.f64 a) (neg.f64 b)))
(.f64 (.f64 (fabs.f64 a) (neg.f64 b)) (*.f64 (fabs.f64 a) (neg.f64 b)))
(.f64 (.f64 (fabs.f64 a) b) (*.f64 (fabs.f64 a) b))
(.f64 (.f64 a (fabs.f64 b)) (*.f64 a (fabs.f64 b)))
(.f64 (.f64 (fabs.f64 b) (neg.f64 a)) (*.f64 (fabs.f64 b) (neg.f64 a)))
(.f64 (.f64 (fabs.f64 b) a) (*.f64 (fabs.f64 b) a))
(.f64 (.f64 (neg.f64 b) (neg.f64 a)) (*.f64 (neg.f64 b) (neg.f64 a)))
(.f64 (.f64 (neg.f64 b) (fabs.f64 a)) (*.f64 (neg.f64 b) (fabs.f64 a)))
(.f64 (.f64 b (fabs.f64 a)) (*.f64 b (fabs.f64 a)))
(.f64 (neg.f64 a) (.f64 (neg.f64 a) (*.f64 b b)))
(.f64 (neg.f64 (sqrt.f64 (.f64 b a))) (.f64 (neg.f64 (sqrt.f64 (.f64 b a))) (*.f64 b a)))
(.f64 (fabs.f64 a) (.f64 (fabs.f64 a) (*.f64 b b)))
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (*.f64 a a)))
(.f64 (.f64 (*.f64 b b) a) a)
(.f64 (.f64 (*.f64 a a) b) b)
(.f64 (.f64 a a) (*.f64 b b))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 (.f64 (neg.f64 b) a) (*.f64 (neg.f64 b) a))
(.f64 (neg.f64 b) (.f64 (neg.f64 b) (*.f64 a a)))
(.f64 (sqrt.f64 (.f64 b a)) (.f64 (sqrt.f64 (.f64 b a)) (*.f64 b a)))
(.f64 (.f64 b a) (*.f64 b a))
(.f64 b (.f64 (*.f64 a a) b))
(.f64 a (.f64 (*.f64 b b) a))
(pow.f64 (sqrt.f64 (*.f64 b a)) #s(literal 4 binary64))
(pow.f64 (*.f64 b a) #s(literal 2 binary64))
(sqrt.f64 (.f64 (pow.f64 (.f64 b a) #s(literal 2 binary64)) (pow.f64 (*.f64 b a) #s(literal 2 binary64))))
(.f64 (.f64 a (neg.f64 (sqrt.f64 (.f64 b a)))) (neg.f64 (sqrt.f64 (.f64 b a))))
(.f64 (.f64 a (sqrt.f64 (.f64 b a))) (sqrt.f64 (.f64 b a)))
(.f64 (.f64 b (fabs.f64 a)) (fabs.f64 a))
(.f64 (neg.f64 (sqrt.f64 (.f64 b a))) (.f64 (neg.f64 (sqrt.f64 (.f64 b a))) a))
(.f64 (.f64 a a) b)
(.f64 (.f64 (neg.f64 b) a) (neg.f64 a))
(.f64 (sqrt.f64 (.f64 b a)) (.f64 (sqrt.f64 (.f64 b a)) a))
(.f64 (.f64 b a) a)
(.f64 b (.f64 a a))
(.f64 a (.f64 b a))
(.f64 (.f64 (sqrt.f64 (*.f64 b a)) (sqrt.f64 a)) (sqrt.f64 b))
(.f64 (.f64 (sqrt.f64 a) (sqrt.f64 a)) (*.f64 (sqrt.f64 b) (sqrt.f64 b)))
(.f64 (neg.f64 (neg.f64 (sqrt.f64 (.f64 b a)))) (neg.f64 (neg.f64 (sqrt.f64 (*.f64 b a)))))
(.f64 (sqrt.f64 (.f64 (*.f64 a a) b)) (sqrt.f64 b))
(.f64 (sqrt.f64 (.f64 (*.f64 b b) a)) (sqrt.f64 a))
(*.f64 (pow.f64 (sqrt.f64 a) #s(literal 2 binary64)) (pow.f64 (sqrt.f64 b) #s(literal 2 binary64)))
(.f64 (neg.f64 (sqrt.f64 (.f64 b a))) (neg.f64 (sqrt.f64 (*.f64 b a))))
(*.f64 (fabs.f64 a) (fabs.f64 b))
(*.f64 (fabs.f64 b) (fabs.f64 a))
(.f64 (sqrt.f64 b) (sqrt.f64 (.f64 (*.f64 a a) b)))
(.f64 (sqrt.f64 a) (.f64 (sqrt.f64 b) (sqrt.f64 (*.f64 b a))))
(.f64 (sqrt.f64 a) (sqrt.f64 (.f64 (*.f64 b b) a)))
(.f64 (sqrt.f64 (.f64 b a)) (sqrt.f64 (*.f64 b a)))
(*.f64 b a)
(*.f64 a b)
(pow.f64 (neg.f64 (sqrt.f64 (*.f64 b a))) #s(literal 2 binary64))
(pow.f64 (pow.f64 (*.f64 b a) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (*.f64 b a)) #s(literal 2 binary64))
(pow.f64 (*.f64 b a) #s(literal 1 binary64))
(neg.f64 (*.f64 (neg.f64 b) a))
(sqrt.f64 (pow.f64 (*.f64 b a) #s(literal 2 binary64)))
(fabs.f64 (*.f64 b a))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 b a))) #s(literal 2 binary64)))
(.f64 (.f64 (*.f64 a a) (fabs.f64 b)) (fabs.f64 b))
(.f64 (.f64 (*.f64 a a) (neg.f64 b)) (neg.f64 b))
(.f64 (.f64 (*.f64 b b) (neg.f64 a)) (neg.f64 a))
(.f64 (.f64 (*.f64 b b) (fabs.f64 a)) (fabs.f64 a))
(.f64 (.f64 (.f64 b a) (neg.f64 (sqrt.f64 (.f64 b a)))) (neg.f64 (sqrt.f64 (*.f64 b a))))
(.f64 (.f64 (.f64 b a) (sqrt.f64 (.f64 b a))) (sqrt.f64 (*.f64 b a)))
(.f64 (.f64 (neg.f64 a) (fabs.f64 b)) (*.f64 (neg.f64 a) (fabs.f64 b)))
(.f64 (.f64 (neg.f64 a) (neg.f64 b)) (*.f64 (neg.f64 a) (neg.f64 b)))
(.f64 (.f64 (fabs.f64 a) (neg.f64 b)) (*.f64 (fabs.f64 a) (neg.f64 b)))
(.f64 (.f64 (fabs.f64 a) b) (*.f64 (fabs.f64 a) b))
(.f64 (.f64 a (fabs.f64 b)) (*.f64 a (fabs.f64 b)))
(.f64 (.f64 (fabs.f64 b) (neg.f64 a)) (*.f64 (fabs.f64 b) (neg.f64 a)))
(.f64 (.f64 (fabs.f64 b) a) (*.f64 (fabs.f64 b) a))
(.f64 (.f64 (neg.f64 b) (neg.f64 a)) (*.f64 (neg.f64 b) (neg.f64 a)))
(.f64 (.f64 (neg.f64 b) (fabs.f64 a)) (*.f64 (neg.f64 b) (fabs.f64 a)))
(.f64 (.f64 b (fabs.f64 a)) (*.f64 b (fabs.f64 a)))
(.f64 (neg.f64 a) (.f64 (neg.f64 a) (*.f64 b b)))
(.f64 (neg.f64 (sqrt.f64 (.f64 b a))) (.f64 (neg.f64 (sqrt.f64 (.f64 b a))) (*.f64 b a)))
(.f64 (fabs.f64 a) (.f64 (fabs.f64 a) (*.f64 b b)))
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (*.f64 a a)))
(.f64 (.f64 (*.f64 b b) a) a)
(.f64 (.f64 (*.f64 a a) b) b)
(.f64 (.f64 a a) (*.f64 b b))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 (.f64 (neg.f64 b) a) (*.f64 (neg.f64 b) a))
(.f64 (neg.f64 b) (.f64 (neg.f64 b) (*.f64 a a)))
(.f64 (sqrt.f64 (.f64 b a)) (.f64 (sqrt.f64 (.f64 b a)) (*.f64 b a)))
(.f64 (.f64 b a) (*.f64 b a))
(.f64 b (.f64 (*.f64 a a) b))
(.f64 a (.f64 (*.f64 b b) a))
(pow.f64 (sqrt.f64 (*.f64 b a)) #s(literal 4 binary64))
(pow.f64 (*.f64 b a) #s(literal 2 binary64))
(sqrt.f64 (.f64 (pow.f64 (.f64 b a) #s(literal 2 binary64)) (pow.f64 (*.f64 b a) #s(literal 2 binary64))))
(.f64 (.f64 b (neg.f64 (sqrt.f64 (.f64 b a)))) (neg.f64 (sqrt.f64 (.f64 b a))))
(.f64 (.f64 b (sqrt.f64 (.f64 b a))) (sqrt.f64 (.f64 b a)))
(.f64 (neg.f64 (sqrt.f64 (.f64 b a))) (.f64 (neg.f64 (sqrt.f64 (.f64 b a))) b))
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) a))
(.f64 (.f64 b b) a)
(.f64 (neg.f64 b) (.f64 (neg.f64 b) a))
(.f64 (sqrt.f64 (.f64 b a)) (.f64 (sqrt.f64 (.f64 b a)) b))
(.f64 (.f64 b a) b)
(.f64 b (.f64 b a))
(.f64 a (.f64 b b))
(.f64 (.f64 (sqrt.f64 (*.f64 b a)) (sqrt.f64 a)) (sqrt.f64 b))
(.f64 (.f64 (sqrt.f64 a) (sqrt.f64 a)) (*.f64 (sqrt.f64 b) (sqrt.f64 b)))
(.f64 (neg.f64 (neg.f64 (sqrt.f64 (.f64 b a)))) (neg.f64 (neg.f64 (sqrt.f64 (*.f64 b a)))))
(.f64 (sqrt.f64 (.f64 (*.f64 a a) b)) (sqrt.f64 b))
(.f64 (sqrt.f64 (.f64 (*.f64 b b) a)) (sqrt.f64 a))
(*.f64 (pow.f64 (sqrt.f64 a) #s(literal 2 binary64)) (pow.f64 (sqrt.f64 b) #s(literal 2 binary64)))
(.f64 (neg.f64 (sqrt.f64 (.f64 b a))) (neg.f64 (sqrt.f64 (*.f64 b a))))
(*.f64 (fabs.f64 a) (fabs.f64 b))
(*.f64 (fabs.f64 b) (fabs.f64 a))
(.f64 (sqrt.f64 b) (sqrt.f64 (.f64 (*.f64 a a) b)))
(.f64 (sqrt.f64 a) (.f64 (sqrt.f64 b) (sqrt.f64 (*.f64 b a))))
(.f64 (sqrt.f64 a) (sqrt.f64 (.f64 (*.f64 b b) a)))
(.f64 (sqrt.f64 (.f64 b a)) (sqrt.f64 (*.f64 b a)))
(*.f64 b a)
(*.f64 a b)
(pow.f64 (neg.f64 (sqrt.f64 (*.f64 b a))) #s(literal 2 binary64))
(pow.f64 (pow.f64 (*.f64 b a) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (*.f64 b a)) #s(literal 2 binary64))
(pow.f64 (*.f64 b a) #s(literal 1 binary64))
(neg.f64 (*.f64 (neg.f64 b) a))
(sqrt.f64 (pow.f64 (*.f64 b a) #s(literal 2 binary64)))
(fabs.f64 (*.f64 b a))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 b a))) #s(literal 2 binary64)))
(.f64 (.f64 (*.f64 (neg.f64 b) b) (neg.f64 a)) (neg.f64 a))
(.f64 (.f64 (*.f64 (neg.f64 b) b) (fabs.f64 a)) (fabs.f64 a))
(.f64 (.f64 (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (*.f64 b a))) (sqrt.f64 a)) (sqrt.f64 b))
(.f64 (.f64 (.f64 (neg.f64 b) a) (neg.f64 (sqrt.f64 (.f64 b a)))) (neg.f64 (sqrt.f64 (*.f64 b a))))
(.f64 (.f64 (*.f64 (neg.f64 b) a) a) b)
(.f64 (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (.f64 b a))) (sqrt.f64 (*.f64 b a)))
(.f64 (neg.f64 (sqrt.f64 (.f64 b a))) (.f64 (neg.f64 (sqrt.f64 (.f64 b a))) (*.f64 (neg.f64 b) a)))
(.f64 (.f64 (*.f64 (neg.f64 b) b) a) a)
(.f64 (.f64 (neg.f64 b) b) (*.f64 a a))
(.f64 (.f64 (*.f64 a a) b) (neg.f64 b))
(.f64 (.f64 a a) (*.f64 (neg.f64 b) b))
(.f64 (.f64 (neg.f64 b) a) (*.f64 b a))
(.f64 (neg.f64 b) (.f64 (*.f64 a a) b))
(.f64 (sqrt.f64 (.f64 b a)) (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (*.f64 b a))))
(.f64 (.f64 b a) (*.f64 (neg.f64 b) a))
(.f64 b (.f64 (neg.f64 b) (*.f64 a a)))
(.f64 b (.f64 a (*.f64 (neg.f64 b) a)))
(.f64 a (.f64 (*.f64 (neg.f64 b) b) a))
(neg.f64 (pow.f64 (*.f64 b a) #s(literal 2 binary64)))
(.f64 (.f64 (neg.f64 b) (neg.f64 (sqrt.f64 (.f64 b a)))) (neg.f64 (sqrt.f64 (.f64 b a))))
(.f64 (.f64 (neg.f64 b) (sqrt.f64 (.f64 b a))) (sqrt.f64 (.f64 b a)))
(.f64 (.f64 (neg.f64 b) b) a)
(.f64 (.f64 (neg.f64 b) a) b)
(.f64 (neg.f64 b) (.f64 b a))
(.f64 (.f64 b a) (neg.f64 b))
(.f64 b (.f64 (neg.f64 b) a))
(.f64 a (.f64 (neg.f64 b) b))
(neg.f64 (.f64 (.f64 b b) a))
(*.f64 (neg.f64 (fabs.f64 b)) (fabs.f64 b))
(*.f64 (neg.f64 (neg.f64 b)) (neg.f64 b))
(*.f64 (fabs.f64 b) (neg.f64 (fabs.f64 b)))
(*.f64 (neg.f64 b) (neg.f64 (neg.f64 b)))
(*.f64 (neg.f64 b) b)
(*.f64 b (neg.f64 b))
(neg.f64 (*.f64 b b))
(.f64 (pow.f64 (.f64 b a) #s(literal 1/4 binary64)) (pow.f64 (*.f64 b a) #s(literal 1/4 binary64)))
(*.f64 (fabs.f64 (sqrt.f64 a)) (fabs.f64 (sqrt.f64 b)))
(.f64 (sqrt.f64 (neg.f64 (sqrt.f64 (.f64 b a)))) (sqrt.f64 (neg.f64 (sqrt.f64 (*.f64 b a)))))
(.f64 (sqrt.f64 (sqrt.f64 (.f64 b a))) (sqrt.f64 (sqrt.f64 (*.f64 b a))))
(.f64 (pow.f64 (neg.f64 (sqrt.f64 (.f64 b a))) #s(literal 1/2 binary64)) (pow.f64 (neg.f64 (sqrt.f64 (*.f64 b a))) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (sqrt.f64 (.f64 b a)) #s(literal 1/2 binary64)) (pow.f64 (sqrt.f64 (*.f64 b a)) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 b) (sqrt.f64 a))
(*.f64 (sqrt.f64 a) (sqrt.f64 b))
(pow.f64 (pow.f64 (*.f64 b a) #s(literal 2 binary64)) #s(literal 1/4 binary64))
(pow.f64 (sqrt.f64 (*.f64 b a)) #s(literal 1 binary64))
(pow.f64 (*.f64 b a) #s(literal 1/2 binary64))
(sqrt.f64 (*.f64 b a))
(fabs.f64 (neg.f64 (sqrt.f64 (*.f64 b a))))
(fabs.f64 (sqrt.f64 (*.f64 b a)))
(exp.f64 (.f64 (log.f64 (.f64 b a)) #s(literal 1/2 binary64)))

eval17.0ms (0.7%)

Memory: 33.6MiB live, 33.6MiB allocated; 0ms collecting garbage
Compiler: Compiled 2 320 to 453 computations (80.5% saved)

prune19.0ms (0.8%)

Memory

-17.5MiB live, 25.9MiB allocated; 7ms collecting garbage

Pruning

13 alts after pruning (3 fresh and 10 done)

	Pruned	Kept	Total
New	190	3	193
Fresh	0	0	0
Picked	1	4	5
Done	0	6	6
Total	191	13	204

Accuracy

100.0%

Counts

204 → 13

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	98.0%	(.f64 (.f64 (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (*.f64 b a))) (sqrt.f64 a)) (sqrt.f64 b))
✓	83.8%	(.f64 (.f64 (*.f64 (neg.f64 b) b) a) a)
▶	99.6%	(.f64 (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (.f64 b a))) (sqrt.f64 (*.f64 b a)))
✓	95.8%	(.f64 (.f64 (*.f64 (neg.f64 b) a) b) a)
▶	34.4%	(.f64 (.f64 (*.f64 b b) a) a)
✓	34.7%	(.f64 (.f64 (*.f64 a b) a) b)
✓	99.6%	(.f64 (.f64 (neg.f64 b) a) (.f64 (sqrt.f64 (.f64 a b)) (sqrt.f64 (*.f64 a b))))
✓	99.7%	(.f64 (.f64 (neg.f64 b) a) (*.f64 b a))
✓	34.8%	(.f64 (.f64 b (*.f64 a a)) b)
✓	34.4%	(.f64 (.f64 b b) (*.f64 a a))
✓	34.6%	(.f64 (.f64 b a) (*.f64 b a))
✓	93.4%	(neg.f64 (.f64 (.f64 (*.f64 b a) a) b))
✓	84.6%	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

Compiler

Compiled 118 to 81 computations (31.4% saved)

simplify178.0ms (7.2%)

Memory

-22.8MiB live, 78.3MiB allocated; 16ms collecting garbage

Localize:

Found 11 expressions of interest:

New	Metric	Score
cost-diff	0	(*.f64 (neg.f64 b) a)
cost-diff	0	(.f64 (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (.f64 b a))) (sqrt.f64 a))
cost-diff	0	(.f64 (.f64 (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (*.f64 b a))) (sqrt.f64 a)) (sqrt.f64 b))
cost-diff	2	(.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (*.f64 b a)))
cost-diff	0	(neg.f64 b)
cost-diff	0	(*.f64 (neg.f64 b) a)
cost-diff	2	(.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (*.f64 b a)))
cost-diff	5	(.f64 (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (.f64 b a))) (sqrt.f64 (*.f64 b a)))
cost-diff	0	(*.f64 b b)
cost-diff	0	(.f64 (.f64 b b) a)
cost-diff	1	(.f64 (.f64 (*.f64 b b) a) a)

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	15	110
0	28	110
1	51	104
2	150	96
3	648	94
4	1734	94
5	2291	94
6	2466	94
7	2476	94
8	2508	94
9	2691	94
10	4287	94
11	6982	94
0	8391	94

Stop Event

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

Calls

Call 1

Inputs
(.f64 (.f64 (*.f64 b b) a) a)
(.f64 (.f64 b b) a)
(*.f64 b b)
b
a
(.f64 (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (.f64 b a))) (sqrt.f64 (*.f64 b a)))
(.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (*.f64 b a)))
(*.f64 (neg.f64 b) a)
(neg.f64 b)
b
a
(sqrt.f64 (*.f64 b a))
(*.f64 b a)
(.f64 (.f64 (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (*.f64 b a))) (sqrt.f64 a)) (sqrt.f64 b))
(.f64 (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (.f64 b a))) (sqrt.f64 a))
(.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (*.f64 b a)))
(*.f64 (neg.f64 b) a)
(neg.f64 b)
b
a
(sqrt.f64 (*.f64 b a))
(*.f64 b a)
(sqrt.f64 a)
(sqrt.f64 b)

Outputs
(.f64 (.f64 (*.f64 b b) a) a)
(pow.f64 (sqrt.f64 (*.f64 a b)) #s(literal 4 binary64))
(.f64 (.f64 b b) a)
(.f64 a (.f64 b b))
(*.f64 b b)
b
a
(.f64 (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (.f64 b a))) (sqrt.f64 (*.f64 b a)))
(neg.f64 (pow.f64 (sqrt.f64 (*.f64 a b)) #s(literal 4 binary64)))
(.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (*.f64 b a)))
(pow.f64 (neg.f64 (sqrt.f64 (*.f64 a b))) #s(literal 3 binary64))
(*.f64 (neg.f64 b) a)
(neg.f64 b)
b
a
(sqrt.f64 (*.f64 b a))
(sqrt.f64 (*.f64 a b))
(*.f64 b a)
(*.f64 a b)
(.f64 (.f64 (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (*.f64 b a))) (sqrt.f64 a)) (sqrt.f64 b))
(.f64 (.f64 (neg.f64 (sqrt.f64 a)) (sqrt.f64 b)) (pow.f64 (sqrt.f64 (*.f64 a b)) #s(literal 3 binary64)))
(.f64 (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (.f64 b a))) (sqrt.f64 a))
(.f64 (neg.f64 (sqrt.f64 a)) (pow.f64 (sqrt.f64 (.f64 a b)) #s(literal 3 binary64)))
(.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (*.f64 b a)))
(pow.f64 (neg.f64 (sqrt.f64 (*.f64 a b))) #s(literal 3 binary64))
(*.f64 (neg.f64 b) a)
(neg.f64 b)
b
a
(sqrt.f64 (*.f64 b a))
(sqrt.f64 (*.f64 a b))
(*.f64 b a)
(*.f64 a b)
(sqrt.f64 a)
(sqrt.f64 b)

localize47.0ms (1.9%)

Memory

21.1MiB live, 64.6MiB allocated; 6ms collecting garbage

Localize:

Found 11 expressions of interest:

New	Metric	Score
accuracy	0.1875	(.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (*.f64 b a)))
accuracy	1.079075435546331	(.f64 (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (.f64 b a))) (sqrt.f64 a))
accuracy	1.1706614258788473	(.f64 (.f64 (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (*.f64 b a))) (sqrt.f64 a)) (sqrt.f64 b))
accuracy	15.92737144474589	(sqrt.f64 (*.f64 b a))
accuracy	0.0	(neg.f64 b)
accuracy	0.11328125	(.f64 (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (.f64 b a))) (sqrt.f64 (*.f64 b a)))
accuracy	0.1875	(.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (*.f64 b a)))
accuracy	15.92737144474589	(sqrt.f64 (*.f64 b a))
accuracy	0.0	(*.f64 b b)
accuracy	2.620707637787172	(.f64 (.f64 (*.f64 b b) a) a)
accuracy	7.629113824420289	(.f64 (.f64 b b) a)

Samples

36.0ms

256×

valid

Compiler

Compiled 112 to 17 computations (84.8% saved)

Precisions

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

ival-mult: 18.0ms (73.4% of total)

ival-sqrt: 5.0ms (20.4% of total)

ival-neg: 1.0ms (4.1% of total)

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

adjust: 0.0ms (0% of total)

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

series22.0ms (0.9%)

Memory

-11.8MiB live, 34.2MiB allocated; 3ms collecting garbage

Counts

10 → 13

Calls

Call 1

Inputs
(.f64 (.f64 (*.f64 b b) a) a)
(.f64 (.f64 b b) a)
(*.f64 b b)
(.f64 (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (.f64 b a))) (sqrt.f64 (*.f64 b a)))
(.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (*.f64 b a)))
(*.f64 (neg.f64 b) a)
(neg.f64 b)
(.f64 (.f64 (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (*.f64 b a))) (sqrt.f64 a)) (sqrt.f64 b))
(.f64 (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (.f64 b a))) (sqrt.f64 a))
(sqrt.f64 (*.f64 b a))

Outputs
(* (pow a 2) (pow b 2))
(* a (pow b 2))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (sqrt (* (pow a 3) (pow b 3))))
(* -1 (* a b))
(* -1 (* (pow a 2) (sqrt (pow b 3))))
(sqrt (* a b))
(* (pow a 2) (* (pow b 2) (pow (sqrt -1) 2)))
(* (sqrt (* (pow a 3) (pow b 3))) (pow (sqrt -1) 2))
(* (* (pow a 2) (pow (sqrt -1) 2)) (sqrt (pow b 3)))
(* -1 (* (sqrt (* a b)) (pow (sqrt -1) 2)))
(pow b 2)
(* -1 b)

Calls

6 calls:

Time	Variable		Point	Expression
6.0ms	b	@	-inf	((* (* (* b b) a) a) (* (* b b) a) (* b b) (* (* (* (neg b) a) (sqrt (* b a))) (sqrt (* b a))) (* (* (neg b) a) (sqrt (* b a))) (* (neg b) a) (neg b) (* (* (* (* (neg b) a) (sqrt (* b a))) (sqrt a)) (sqrt b)) (* (* (* (neg b) a) (sqrt (* b a))) (sqrt a)) (sqrt (* b a)))
5.0ms	b	@	inf	((* (* (* b b) a) a) (* (* b b) a) (* b b) (* (* (* (neg b) a) (sqrt (* b a))) (sqrt (* b a))) (* (* (neg b) a) (sqrt (* b a))) (* (neg b) a) (neg b) (* (* (* (* (neg b) a) (sqrt (* b a))) (sqrt a)) (sqrt b)) (* (* (* (neg b) a) (sqrt (* b a))) (sqrt a)) (sqrt (* b a)))
3.0ms	a	@	-inf	((* (* (* b b) a) a) (* (* b b) a) (* b b) (* (* (* (neg b) a) (sqrt (* b a))) (sqrt (* b a))) (* (* (neg b) a) (sqrt (* b a))) (* (neg b) a) (neg b) (* (* (* (* (neg b) a) (sqrt (* b a))) (sqrt a)) (sqrt b)) (* (* (* (neg b) a) (sqrt (* b a))) (sqrt a)) (sqrt (* b a)))
3.0ms	a	@	0	((* (* (* b b) a) a) (* (* b b) a) (* b b) (* (* (* (neg b) a) (sqrt (* b a))) (sqrt (* b a))) (* (* (neg b) a) (sqrt (* b a))) (* (neg b) a) (neg b) (* (* (* (* (neg b) a) (sqrt (* b a))) (sqrt a)) (sqrt b)) (* (* (* (neg b) a) (sqrt (* b a))) (sqrt a)) (sqrt (* b a)))
3.0ms	b	@	0	((* (* (* b b) a) a) (* (* b b) a) (* b b) (* (* (* (neg b) a) (sqrt (* b a))) (sqrt (* b a))) (* (* (neg b) a) (sqrt (* b a))) (* (neg b) a) (neg b) (* (* (* (* (neg b) a) (sqrt (* b a))) (sqrt a)) (sqrt b)) (* (* (* (neg b) a) (sqrt (* b a))) (sqrt a)) (sqrt (* b a)))

simplify26.0ms (1%)

Memory

19.5MiB live, 19.5MiB allocated; 0ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	77
1	74	77
2	223	77
0	878	77

Stop Event

1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound

Counts

13 → 13

Calls

Call 1

Inputs
(* (pow a 2) (pow b 2))
(* a (pow b 2))
(* -1 (* (pow a 2) (pow b 2)))
(* -1 (sqrt (* (pow a 3) (pow b 3))))
(* -1 (* a b))
(* -1 (* (pow a 2) (sqrt (pow b 3))))
(sqrt (* a b))
(* (pow a 2) (* (pow b 2) (pow (sqrt -1) 2)))
(* (sqrt (* (pow a 3) (pow b 3))) (pow (sqrt -1) 2))
(* (* (pow a 2) (pow (sqrt -1) 2)) (sqrt (pow b 3)))
(* -1 (* (sqrt (* a b)) (pow (sqrt -1) 2)))
(pow b 2)
(* -1 b)

Outputs
(* (pow a 2) (pow b 2))
(.f64 (.f64 (*.f64 a b) a) b)
(* a (pow b 2))
(.f64 (.f64 b b) a)
(* -1 (* (pow a 2) (pow b 2)))
(.f64 (.f64 (*.f64 (neg.f64 b) b) a) a)
(* -1 (sqrt (* (pow a 3) (pow b 3))))
(neg.f64 (sqrt.f64 (pow.f64 (*.f64 a b) #s(literal 3 binary64))))
(* -1 (* a b))
(*.f64 (neg.f64 a) b)
(* -1 (* (pow a 2) (sqrt (pow b 3))))
(.f64 (.f64 (neg.f64 a) a) (sqrt.f64 (pow.f64 b #s(literal 3 binary64))))
(sqrt (* a b))
(sqrt.f64 (*.f64 a b))
(* (pow a 2) (* (pow b 2) (pow (sqrt -1) 2)))
(.f64 (.f64 (*.f64 (neg.f64 b) b) a) a)
(* (sqrt (* (pow a 3) (pow b 3))) (pow (sqrt -1) 2))
(neg.f64 (sqrt.f64 (pow.f64 (*.f64 a b) #s(literal 3 binary64))))
(* (* (pow a 2) (pow (sqrt -1) 2)) (sqrt (pow b 3)))
(.f64 (.f64 (neg.f64 a) a) (sqrt.f64 (pow.f64 b #s(literal 3 binary64))))
(* -1 (* (sqrt (* a b)) (pow (sqrt -1) 2)))
(sqrt.f64 (*.f64 a b))
(pow b 2)
(*.f64 b b)
(* -1 b)
(neg.f64 b)

rewrite28.0ms (1.1%)

Memory

-31.9MiB live, 20.6MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	75
0	28	74
1	58	61
0	197	61

Stop Event

1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit

Counts

10 → 99

Calls

Call 1

Inputs
(.f64 (.f64 (*.f64 b b) a) a)
(.f64 (.f64 b b) a)
(*.f64 b b)
(.f64 (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (.f64 b a))) (sqrt.f64 (*.f64 b a)))
(.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (*.f64 b a)))
(*.f64 (neg.f64 b) a)
(neg.f64 b)
(.f64 (.f64 (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (*.f64 b a))) (sqrt.f64 a)) (sqrt.f64 b))
(.f64 (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (.f64 b a))) (sqrt.f64 a))
(sqrt.f64 (*.f64 b a))

Outputs
(.f64 (.f64 (fabs.f64 b) a) (*.f64 (fabs.f64 b) a))
(.f64 (.f64 a a) (*.f64 b b))
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) (*.f64 a a)))
(.f64 (.f64 a b) (*.f64 a b))
(.f64 (.f64 (neg.f64 b) a) (*.f64 (neg.f64 b) a))
(.f64 (neg.f64 b) (.f64 (neg.f64 b) (*.f64 a a)))
(.f64 (.f64 a (*.f64 b b)) a)
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 b (.f64 b (*.f64 a a)))
(.f64 b (.f64 (*.f64 a b) a))
(.f64 (.f64 a (fabs.f64 b)) (fabs.f64 b))
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) a))
(.f64 (.f64 a b) b)
(.f64 (.f64 (neg.f64 b) a) (neg.f64 b))
(.f64 (neg.f64 b) (.f64 (neg.f64 b) a))
(.f64 a (.f64 b b))
(.f64 (.f64 b b) a)
(.f64 b (.f64 a b))
(*.f64 (pow.f64 b #s(literal 1 binary64)) (pow.f64 b #s(literal 1 binary64)))
(*.f64 (neg.f64 (fabs.f64 b)) (neg.f64 (fabs.f64 b)))
(*.f64 (neg.f64 (neg.f64 b)) (neg.f64 (neg.f64 b)))
(*.f64 (fabs.f64 (fabs.f64 b)) (fabs.f64 (fabs.f64 b)))
(*.f64 (fabs.f64 b) (fabs.f64 b))
(*.f64 (neg.f64 b) (neg.f64 b))
(*.f64 b b)
(pow.f64 (fabs.f64 b) #s(literal 2 binary64))
(pow.f64 (neg.f64 b) #s(literal 2 binary64))
(pow.f64 b #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 b) b))
(neg.f64 (*.f64 b (neg.f64 b)))
(fabs.f64 (*.f64 b b))
(exp.f64 (*.f64 (log.f64 b) #s(literal 2 binary64)))
(.f64 (.f64 (.f64 (sqrt.f64 (.f64 a b)) (*.f64 (neg.f64 b) a)) (sqrt.f64 b)) (sqrt.f64 a))
(.f64 (.f64 (sqrt.f64 (.f64 a b)) (neg.f64 b)) (.f64 (sqrt.f64 (*.f64 a b)) a))
(.f64 (.f64 (sqrt.f64 b) (.f64 (sqrt.f64 (.f64 a b)) (*.f64 (neg.f64 b) a))) (sqrt.f64 a))
(.f64 (.f64 (sqrt.f64 b) (.f64 (neg.f64 b) a)) (sqrt.f64 (.f64 (*.f64 a b) a)))
(.f64 (sqrt.f64 b) (.f64 (sqrt.f64 (.f64 (.f64 a b) a)) (*.f64 (neg.f64 b) a)))
(.f64 (.f64 (sqrt.f64 (.f64 (.f64 a b) a)) (*.f64 (neg.f64 b) a)) (sqrt.f64 b))
(.f64 (sqrt.f64 a) (.f64 (.f64 (sqrt.f64 (.f64 a b)) (*.f64 (neg.f64 b) a)) (sqrt.f64 b)))
(.f64 (.f64 (sqrt.f64 (.f64 a b)) (.f64 (neg.f64 b) a)) (sqrt.f64 (*.f64 a b)))
(.f64 (sqrt.f64 (.f64 a b)) (.f64 (sqrt.f64 (.f64 a b)) (*.f64 (neg.f64 b) a)))
(.f64 (.f64 a b) (*.f64 (neg.f64 b) a))
(.f64 (.f64 (neg.f64 b) a) (.f64 (sqrt.f64 (.f64 (*.f64 a b) a)) (sqrt.f64 b)))
(.f64 (.f64 (neg.f64 b) a) (*.f64 a b))
(.f64 (neg.f64 b) (.f64 a (*.f64 a b)))
(.f64 (neg.f64 b) (.f64 (.f64 (sqrt.f64 (.f64 a b)) a) (sqrt.f64 (*.f64 a b))))
(.f64 a (.f64 (neg.f64 b) (*.f64 a b)))
(neg.f64 (.f64 (.f64 a (*.f64 b b)) a))
(.f64 (.f64 (*.f64 (neg.f64 b) a) (sqrt.f64 b)) (sqrt.f64 a))
(.f64 (.f64 (sqrt.f64 (*.f64 a b)) (neg.f64 b)) a)
(.f64 (.f64 (sqrt.f64 (*.f64 a b)) a) (neg.f64 b))
(.f64 (sqrt.f64 b) (.f64 (sqrt.f64 a) (*.f64 (neg.f64 b) a)))
(.f64 (sqrt.f64 (.f64 a b)) (*.f64 (neg.f64 b) a))
(.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (*.f64 a b)))
(.f64 (neg.f64 b) (.f64 (sqrt.f64 (*.f64 a b)) a))
(.f64 a (.f64 (neg.f64 b) (sqrt.f64 (*.f64 a b))))
(neg.f64 (.f64 (sqrt.f64 (.f64 a b)) (*.f64 a b)))
(neg.f64 (.f64 (.f64 a b) (sqrt.f64 (*.f64 a b))))
(neg.f64 (.f64 b (.f64 (sqrt.f64 (*.f64 a b)) a)))
(*.f64 (neg.f64 a) b)
(*.f64 (neg.f64 b) a)
(*.f64 a (neg.f64 b))
(*.f64 b (neg.f64 a))
(neg.f64 (*.f64 a b))
(neg.f64 b)
(.f64 (.f64 (.f64 (sqrt.f64 (.f64 a b)) (*.f64 (neg.f64 b) a)) (sqrt.f64 b)) (sqrt.f64 a))
(.f64 (.f64 (sqrt.f64 (.f64 a b)) (neg.f64 b)) (.f64 (sqrt.f64 (*.f64 a b)) a))
(.f64 (.f64 (sqrt.f64 b) (.f64 (sqrt.f64 (.f64 a b)) (*.f64 (neg.f64 b) a))) (sqrt.f64 a))
(.f64 (.f64 (sqrt.f64 b) (.f64 (neg.f64 b) a)) (sqrt.f64 (.f64 (*.f64 a b) a)))
(.f64 (sqrt.f64 b) (.f64 (sqrt.f64 (.f64 (.f64 a b) a)) (*.f64 (neg.f64 b) a)))
(.f64 (.f64 (sqrt.f64 (.f64 (.f64 a b) a)) (*.f64 (neg.f64 b) a)) (sqrt.f64 b))
(.f64 (sqrt.f64 a) (.f64 (.f64 (sqrt.f64 (.f64 a b)) (*.f64 (neg.f64 b) a)) (sqrt.f64 b)))
(.f64 (.f64 (sqrt.f64 (.f64 a b)) (.f64 (neg.f64 b) a)) (sqrt.f64 (*.f64 a b)))
(.f64 (sqrt.f64 (.f64 a b)) (.f64 (sqrt.f64 (.f64 a b)) (*.f64 (neg.f64 b) a)))
(.f64 (.f64 a b) (*.f64 (neg.f64 b) a))
(.f64 (.f64 (neg.f64 b) a) (.f64 (sqrt.f64 (.f64 (*.f64 a b) a)) (sqrt.f64 b)))
(.f64 (.f64 (neg.f64 b) a) (*.f64 a b))
(.f64 (neg.f64 b) (.f64 a (*.f64 a b)))
(.f64 (neg.f64 b) (.f64 (.f64 (sqrt.f64 (.f64 a b)) a) (sqrt.f64 (*.f64 a b))))
(.f64 a (.f64 (neg.f64 b) (*.f64 a b)))
(neg.f64 (.f64 (.f64 a (*.f64 b b)) a))
(.f64 (.f64 (sqrt.f64 a) (.f64 (neg.f64 b) a)) (sqrt.f64 (.f64 a b)))
(.f64 (.f64 (sqrt.f64 a) (neg.f64 b)) (.f64 (sqrt.f64 (.f64 a b)) a))
(.f64 (sqrt.f64 (.f64 (.f64 a b) a)) (.f64 (neg.f64 b) a))
(.f64 (sqrt.f64 a) (.f64 (sqrt.f64 (.f64 a b)) (.f64 (neg.f64 b) a)))
(.f64 (.f64 (sqrt.f64 (.f64 a b)) (.f64 (neg.f64 b) a)) (sqrt.f64 a))
(.f64 (sqrt.f64 (.f64 a b)) (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 a)))
(.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (.f64 (.f64 a b) a)))
(.f64 (neg.f64 b) (.f64 (.f64 (sqrt.f64 (.f64 a b)) a) (sqrt.f64 a)))
(.f64 (neg.f64 b) (.f64 a (sqrt.f64 (.f64 (.f64 a b) a))))
(.f64 a (.f64 (neg.f64 b) (sqrt.f64 (.f64 (.f64 a b) a))))
(neg.f64 (.f64 (.f64 a b) (sqrt.f64 (.f64 (.f64 a b) a))))
(.f64 (pow.f64 (.f64 a b) #s(literal 1/4 binary64)) (pow.f64 (*.f64 a b) #s(literal 1/4 binary64)))
(*.f64 (sqrt.f64 b) (sqrt.f64 a))
(*.f64 (sqrt.f64 a) (sqrt.f64 b))
(pow.f64 (*.f64 a b) #s(literal 1/2 binary64))
(sqrt.f64 (*.f64 a b))
(exp.f64 (.f64 (log.f64 (.f64 a b)) #s(literal 1/2 binary64)))

eval26.0ms (1.1%)

Memory: 26.4MiB live, 26.4MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 691 to 308 computations (81.8% saved)

prune14.0ms (0.6%)

Memory

-24.0MiB live, 21.6MiB allocated; 3ms collecting garbage

Pruning

13 alts after pruning (3 fresh and 10 done)

	Pruned	Kept	Total
New	123	3	126
Fresh	0	0	0
Picked	2	1	3
Done	1	9	10
Total	126	13	139

Accuracy

100.0%

Counts

139 → 13

Alt Table

Click to see full alt table

Status	Accuracy	Program
	97.2%	(.f64 (.f64 (.f64 (sqrt.f64 (.f64 a b)) a) (neg.f64 b)) (sqrt.f64 (*.f64 b a)))
✓	83.8%	(.f64 (.f64 (*.f64 (neg.f64 b) b) a) a)
	99.6%	(.f64 (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (.f64 b a))) (*.f64 (sqrt.f64 b) (sqrt.f64 a)))
✓	95.8%	(.f64 (.f64 (*.f64 (neg.f64 b) a) b) a)
✓	34.4%	(.f64 (.f64 (*.f64 b b) a) a)
✓	34.7%	(.f64 (.f64 (*.f64 a b) a) b)
	95.4%	(.f64 (.f64 (sqrt.f64 (.f64 a b)) (neg.f64 b)) (.f64 (sqrt.f64 (*.f64 a b)) a))
✓	99.7%	(.f64 (.f64 (neg.f64 b) a) (*.f64 b a))
✓	34.8%	(.f64 (.f64 b (*.f64 a a)) b)
✓	34.4%	(.f64 (.f64 b b) (*.f64 a a))
✓	34.6%	(.f64 (.f64 b a) (*.f64 b a))
✓	93.4%	(neg.f64 (.f64 (.f64 (*.f64 b a) a) b))
✓	84.6%	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

Compiler

Compiled 304 to 134 computations (55.9% saved)

regimes23.0ms (1%)

Memory

31.2MiB live, 31.2MiB allocated; 0ms collecting garbage

Counts

19 → 1

Calls

Call 1

Inputs
(.f64 (.f64 b a) (*.f64 b a))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 (.f64 b (*.f64 a a)) b)
(.f64 (.f64 (*.f64 a b) a) b)
(.f64 (.f64 (*.f64 b a) b) a)
(.f64 (.f64 (*.f64 b b) a) a)
(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
(neg.f64 (.f64 (.f64 (*.f64 b a) a) b))
(.f64 (.f64 (neg.f64 b) a) (*.f64 b a))
(.f64 (.f64 (neg.f64 b) b) (*.f64 a a))
(.f64 (.f64 (*.f64 (neg.f64 b) a) b) a)
(.f64 (.f64 (*.f64 (neg.f64 b) b) a) a)
(.f64 (neg.f64 a) (.f64 (neg.f64 a) (*.f64 (neg.f64 b) b)))
(.f64 (.f64 (neg.f64 b) a) (.f64 (sqrt.f64 (.f64 a b)) (sqrt.f64 (*.f64 a b))))
(.f64 (.f64 (sqrt.f64 (.f64 a b)) (neg.f64 b)) (.f64 (sqrt.f64 (*.f64 a b)) a))
(.f64 (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (.f64 b a))) (sqrt.f64 (*.f64 b a)))
(.f64 (.f64 (.f64 (sqrt.f64 (.f64 a b)) a) (neg.f64 b)) (sqrt.f64 (*.f64 b a)))
(.f64 (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (.f64 b a))) (*.f64 (sqrt.f64 b) (sqrt.f64 a)))
(.f64 (.f64 (.f64 (.f64 (neg.f64 b) a) (sqrt.f64 (*.f64 b a))) (sqrt.f64 a)) (sqrt.f64 b))

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

Calls

5 calls:

5.0ms	b
5.0ms	a
4.0ms	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
4.0ms	(*.f64 a a)
4.0ms	(.f64 (.f64 (*.f64 a a) b) b)

Results

Accuracy	Segments	Branch
99.7%	1	`(*.f64 a a)`
99.7%	1	`(.f64 (.f64 (*.f64 a a) b) b)`
99.7%	1	`(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))`
99.7%	1	`a`
99.7%	1	`b`

Compiler

Compiled 20 to 18 computations (10% saved)

regimes16.0ms (0.6%)

Memory

-25.0MiB live, 20.0MiB allocated; 4ms collecting garbage

Counts

8 → 1

Calls

Call 1

Inputs
(.f64 (.f64 b a) (*.f64 b a))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 (.f64 b (*.f64 a a)) b)
(.f64 (.f64 (*.f64 a b) a) b)
(.f64 (.f64 (*.f64 b a) b) a)
(.f64 (.f64 (*.f64 b b) a) a)
(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
(neg.f64 (.f64 (.f64 (*.f64 b a) a) b))

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

Calls

5 calls:

6.0ms	(*.f64 a a)
3.0ms	a
3.0ms	b
2.0ms	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
2.0ms	(.f64 (.f64 (*.f64 a a) b) b)

Results

Accuracy	Segments	Branch
93.4%	1	`(*.f64 a a)`
93.4%	1	`(.f64 (.f64 (*.f64 a a) b) b)`
93.4%	1	`(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))`
93.4%	1	`a`
93.4%	1	`b`

Compiler

Compiled 20 to 18 computations (10% saved)

regimes11.0ms (0.5%)

Memory

18.4MiB live, 18.4MiB allocated; 0ms collecting garbage

Counts

7 → 1

Calls

Call 1

Inputs
(.f64 (.f64 b a) (*.f64 b a))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 (.f64 b (*.f64 a a)) b)
(.f64 (.f64 (*.f64 a b) a) b)
(.f64 (.f64 (*.f64 b a) b) a)
(.f64 (.f64 (*.f64 b b) a) a)
(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

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

Calls

5 calls:

2.0ms	a
2.0ms	b
2.0ms	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
2.0ms	(*.f64 a a)
2.0ms	(.f64 (.f64 (*.f64 a a) b) b)

Results

Accuracy	Segments	Branch
84.6%	1	`(*.f64 a a)`
84.6%	1	`(.f64 (.f64 (*.f64 a a) b) b)`
84.6%	1	`(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))`
84.6%	1	`a`
84.6%	1	`b`

Compiler

Compiled 20 to 18 computations (10% saved)

regimes10.0ms (0.4%)

Memory

15.5MiB live, 15.5MiB allocated; 0ms collecting garbage

Counts

6 → 1

Calls

Call 1

Inputs
(.f64 (.f64 b a) (*.f64 b a))
(.f64 (.f64 b b) (*.f64 a a))
(.f64 (.f64 b (*.f64 a a)) b)
(.f64 (.f64 (*.f64 a b) a) b)
(.f64 (.f64 (*.f64 b a) b) a)
(.f64 (.f64 (*.f64 b b) a) a)

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

Calls

5 calls:

2.0ms	a
2.0ms	b
2.0ms	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
2.0ms	(*.f64 a a)
2.0ms	(.f64 (.f64 (*.f64 a a) b) b)

Results

Accuracy	Segments	Branch
34.8%	1	`b`
34.8%	1	`a`
34.8%	1	`(*.f64 a a)`
34.8%	1	`(.f64 (.f64 (*.f64 a a) b) b)`
34.8%	1	`(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))`

Compiler

Compiled 20 to 18 computations (10% saved)

regimes6.0ms (0.2%)

Memory

9.6MiB live, 9.6MiB allocated; 0ms collecting garbage

Accuracy

Total -0.2b remaining (-0.4%)

Threshold costs -0.2b (-0.4%)

Counts

2 → 1

Calls

Call 1

Inputs
(.f64 (.f64 b a) (*.f64 b a))
(.f64 (.f64 b b) (*.f64 a a))

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

Calls

5 calls:

1.0ms	b
1.0ms	a
1.0ms	(*.f64 a a)
1.0ms	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
1.0ms	(.f64 (.f64 (*.f64 a a) b) b)

Results

Accuracy	Segments	Branch
34.6%	1	`(.f64 (.f64 (*.f64 a a) b) b)`
34.6%	1	`a`
34.6%	1	`(*.f64 a a)`
34.6%	1	`b`
34.6%	1	`(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))`

Compiler

Compiled 20 to 18 computations (10% saved)

simplify29.0ms (1.2%)

Memory

-35.7MiB live, 10.2MiB allocated; 3ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	38
1	34	38
2	54	38
3	69	38
4	72	38

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.f64 (.f64 (neg.f64 b) a) (*.f64 b a))
(neg.f64 (.f64 (.f64 (*.f64 b a) a) b))
(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
(.f64 (.f64 b (*.f64 a a)) b)
(.f64 (.f64 b a) (*.f64 b a))

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

derivations13.0ms (0.5%)

Memory

8.0MiB live, 8.0MiB allocated; 0ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 38 to 14 computations (63.2% saved)

preprocess48.0ms (1.9%)

Memory

-2.3MiB live, 44.8MiB allocated; 11ms collecting garbage

Remove

(sort a b)

(abs a)

(abs b)

Compiler

Compiled 284 to 184 computations (35.2% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Iter	Nodes	Cost
0	18	38
1	60	38
2	241	38
3	542	38
4	785	38
5	790	38
0	6	8
0	10	8
1	24	8
2	81	8
3	303	8
4	719	8
5	844	8
0	844	8

Iter	Nodes	Cost
0	18	38
1	60	38
2	241	38
3	542	38
4	785	38
5	790	38
0	6	8
0	10	8
1	24	8
2	81	8
3	303	8
4	719	8
5	844	8
0	844	8

start0.0ms (0%)

analyze0.0ms (0%)

sample584.0ms (23.8%)

explain62.0ms (2.5%)

preprocess27.0ms (1.1%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify10.0ms (0.4%)

localize16.0ms (0.7%)

series6.0ms (0.3%)

simplify171.0ms (6.9%)

rewrite41.0ms (1.6%)

eval7.0ms (0.3%)

prune7.0ms (0.3%)

simplify17.0ms (0.7%)

localize45.0ms (1.8%)

series11.0ms (0.4%)

simplify115.0ms (4.7%)

rewrite48.0ms (2%)

eval25.0ms (1%)

prune401.0ms (16.3%)

simplify172.0ms (7%)

localize60.0ms (2.4%)

series26.0ms (1.1%)

simplify22.0ms (0.9%)

rewrite50.0ms (2%)

eval17.0ms (0.7%)

prune19.0ms (0.8%)

simplify178.0ms (7.2%)

localize47.0ms (1.9%)

series22.0ms (0.9%)

simplify26.0ms (1%)

rewrite28.0ms (1.1%)

eval26.0ms (1.1%)

prune14.0ms (0.6%)

regimes23.0ms (1%)

regimes16.0ms (0.6%)

regimes11.0ms (0.5%)

regimes10.0ms (0.4%)

regimes6.0ms (0.2%)

simplify29.0ms (1.2%)

derivations13.0ms (0.5%)

preprocess48.0ms (1.9%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	18	38
1	60	38
2	241	38
3	542	38
4	785	38
5	790	38
0	6	8
0	10	8
1	24	8
2	81	8
3	303	8
4	719	8
5	844	8
0	844	8