Metrics for Falkner and Boettcher, Equation (22+)

start0.0ms (0%)

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

analyze4.0ms (0.1%)

Memory

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

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
0%	0%	50%	0%	0%	50%	0%	3
50%	25%	25%	0%	0%	50%	0%	4
75%	37.5%	12.5%	0%	0%	50%	0%	5
87.5%	43.7%	6.2%	0%	0%	50%	0%	6
93.8%	46.9%	3.1%	0%	0%	50%	0%	7
96.9%	48.4%	1.6%	0%	0%	50%	0%	8
98.4%	49.2%	0.8%	0%	0%	50%	0%	9
99.2%	49.6%	0.4%	0%	0%	50%	0%	10
99.6%	49.8%	0.2%	0%	0%	50%	0%	11
99.8%	49.9%	0.1%	0%	0%	50%	0%	12

Compiler

Compiled 22 to 18 computations (18.2% saved)

sample2.7s (51.4%)

Memory

5.4MiB live, 1 490.7MiB allocated; 201ms collecting garbage

Samples

1.8s	8 256×	0	valid
0.0ms	6×	0	invalid

Precisions

Click to see histograms. Total time spent on operations: 1.1s

ival-sqrt: 503.0ms (47.6% of total)

ival-mult: 250.0ms (23.7% of total)

ival-div: 103.0ms (9.8% of total)

ival-pi: 93.0ms (8.8% of total)

ival-sub: 76.0ms (7.2% of total)

exact: 18.0ms (1.7% of total)

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

adjust: 3.0ms (0.3% of total)

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

Bogosity

explain244.0ms (4.7%)

Memory

-6.2MiB live, 231.2MiB allocated; 14ms collecting garbage

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`#s(literal 3 binary64)`
-	-	`(*.f64 v v)`
-	-	`#s(literal 1 binary64)`
-	-	`#s(literal 4 binary64)`
-	-	`(/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v))))))`
-	-	`(.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v)))))`
-	-	`(sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v))))`
-	-	`(*.f64 #s(literal 3 binary64) (PI.f64))`
-	-	`#s(literal 6 binary64)`
-	-	`v`
-	-	`#s(literal 2 binary64)`
-	-	`(-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v)))`
-	-	`(.f64 #s(literal 6 binary64) (.f64 v v))`
-	-	`(-.f64 #s(literal 1 binary64) (*.f64 v v))`
-	-	`(.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (*.f64 v v)))`
-	-	`(PI.f64)`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

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

Precision?

0/0

Recall?

0/0

Samples

105.0ms

512×

valid

Compiler

Compiled 194 to 52 computations (73.2% saved)

Precisions

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

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

ival-sub: 6.0ms (18.9% of total)

ival-sqrt: 4.0ms (12.6% of total)

ival-div: 3.0ms (9.4% of total)

ival-pi: 2.0ms (6.3% of total)

exact: 1.0ms (3.1% of total)

adjust: 0.0ms (0% of total)

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

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

preprocess160.0ms (3.1%)

Memory

16.8MiB live, 108.5MiB allocated; 12ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	40
1	62	37
2	201	36
3	671	36
4	2381	36
5	7409	36
0	23	30
0	33	30
1	36	30
2	40	30
3	51	30
4	99	30
5	394	30
6	3787	30
0	8098	30

Stop Event

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

Calls

Call 1

Inputs

(/.f64 #s(literal 4 binary64) (*.f64 (*.f64 (*.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (*.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (*.f64 #s(literal 6 binary64) (*.f64 v v))))))

Outputs

(/.f64 #s(literal 4 binary64) (*.f64 (*.f64 (*.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (*.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (*.f64 #s(literal 6 binary64) (*.f64 v v))))))

Symmetry

(abs v)

Compiler

Compiled 20 to 16 computations (20% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

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

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	98.4%	(/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v))))))

Status

Accuracy

Program

▶

98.4%

(/.f64 #s(literal 4 binary64) (*.f64 (*.f64 (*.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (*.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (*.f64 #s(literal 6 binary64) (*.f64 v v))))))

Compiler

Compiled 20 to 16 computations (20% saved)

simplify120.0ms (2.3%)

Memory

-4.9MiB live, 46.8MiB allocated; 5ms collecting garbage

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(*.f64 #s(literal 3 binary64) (PI.f64))
cost-diff	0	(.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (*.f64 v v)))
cost-diff	0	(.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v)))))
cost-diff	0	(/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v))))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	131
0	33	131
1	36	131
2	40	131
3	51	131
4	99	131
5	394	131
6	3787	131
0	8098	131

Stop Event

1×	saturated
1×	node limit
1×	iter limit

Calls

Call 1

Inputs
(/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v))))))
#s(literal 4 binary64)
(.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v)))))
(.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (*.f64 v v)))
(*.f64 #s(literal 3 binary64) (PI.f64))
#s(literal 3 binary64)
(PI.f64)
(-.f64 #s(literal 1 binary64) (*.f64 v v))
#s(literal 1 binary64)
(*.f64 v v)
v
(sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v))))
(-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v)))
#s(literal 2 binary64)
(.f64 #s(literal 6 binary64) (.f64 v v))
#s(literal 6 binary64)

Outputs
(/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v))))))
#s(literal 4 binary64)
(.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v)))))
(.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (*.f64 v v)))
(*.f64 #s(literal 3 binary64) (PI.f64))
#s(literal 3 binary64)
(PI.f64)
(-.f64 #s(literal 1 binary64) (*.f64 v v))
#s(literal 1 binary64)
(*.f64 v v)
v
(sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v))))
(-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v)))
#s(literal 2 binary64)
(.f64 #s(literal 6 binary64) (.f64 v v))
#s(literal 6 binary64)

localize578.0ms (11.1%)

Memory

7.0MiB live, 54.2MiB allocated; 2ms collecting garbage

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.00390625	(.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v)))))
accuracy	0.00390625	(.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (*.f64 v v)))
accuracy	0.18263627930532605	(.f64 #s(literal 6 binary64) (.f64 v v))
accuracy	0.984375	(/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v))))))

Samples

568.0ms

256×

valid

Compiler

Compiled 87 to 18 computations (79.3% saved)

Precisions

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

ival-pi: 543.0ms (97.5% of total)

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

ival-div: 2.0ms (0.4% of total)

ival-sub: 2.0ms (0.4% of total)

ival-sqrt: 2.0ms (0.4% of total)

exact: 1.0ms (0.2% of total)

adjust: 0.0ms (0% of total)

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

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

series31.0ms (0.6%)

Memory

-28.5MiB live, 16.2MiB allocated; 6ms collecting garbage

Counts

5 → 29

Calls

Call 1

Inputs
(/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v))))))
(.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v)))))
(.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (*.f64 v v)))
(*.f64 #s(literal 3 binary64) (PI.f64))
(.f64 #s(literal 6 binary64) (.f64 v v))

Outputs
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (* 4/3 (/ (sqrt 1/2) (PI)))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (+ (* 4/3 (* (pow v 2) (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI))))) (* 4/3 (/ (sqrt 1/2) (PI))))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (+ (* 4/3 (/ (sqrt 1/2) (PI))) (* (pow v 2) (+ (* 4/3 (* (pow v 2) (+ (* 1/2 (/ (- 9/2 (* 9/16 (/ 1 (pow (sqrt 1/2) 2)))) (* (PI) (sqrt 1/2)))) (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI)))))) (* 4/3 (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI)))))))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (+ (* 4/3 (/ (sqrt 1/2) (PI))) (* (pow v 2) (+ (* 4/3 (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI)))) (* (pow v 2) (+ (* 4/3 (* (pow v 2) (+ (* 1/2 (/ (- 9/2 (* 9/16 (/ 1 (pow (sqrt 1/2) 2)))) (* (PI) (sqrt 1/2)))) (+ (* 1/2 (/ (- 27/2 (* 3/4 (/ (- 9/2 (* 9/16 (/ 1 (pow (sqrt 1/2) 2)))) (pow (sqrt 1/2) 2)))) (* (PI) (sqrt 1/2)))) (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI))))))) (* 4/3 (+ (* 1/2 (/ (- 9/2 (* 9/16 (/ 1 (pow (sqrt 1/2) 2)))) (* (PI) (sqrt 1/2)))) (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI))))))))))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (* 3 (* (PI) (sqrt 2)))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (+ (* 3 (* (PI) (sqrt 2))) (* 3 (* (pow v 2) (+ (* -3 (/ (PI) (sqrt 2))) (* -1 (* (PI) (sqrt 2)))))))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (+ (* 3 (* (PI) (sqrt 2))) (* (pow v 2) (+ (* 3 (* (pow v 2) (+ (* -9/2 (/ (PI) (pow (sqrt 2) 3))) (* 3 (/ (PI) (sqrt 2)))))) (* 3 (+ (* -3 (/ (PI) (sqrt 2))) (* -1 (* (PI) (sqrt 2))))))))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (+ (* 3 (* (PI) (sqrt 2))) (* (pow v 2) (+ (* 3 (+ (* -3 (/ (PI) (sqrt 2))) (* -1 (* (PI) (sqrt 2))))) (* (pow v 2) (+ (* 3 (* (pow v 2) (+ (* -27/2 (/ (PI) (pow (sqrt 2) 5))) (* 9/2 (/ (PI) (pow (sqrt 2) 3)))))) (* 3 (+ (* -9/2 (/ (PI) (pow (sqrt 2) 3))) (* 3 (/ (PI) (sqrt 2))))))))))))
#s(approx (* (* 3 (PI)) (- 1 (* v v))) #s(hole binary64 (* 3 (PI))))
#s(approx (* (* 3 (PI)) (- 1 (* v v))) #s(hole binary64 (+ (* -3 (* (pow v 2) (PI))) (* 3 (PI)))))
#s(approx (* 6 (* v v)) #s(hole binary64 (* 6 (pow v 2))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (* -4/3 (/ (sqrt -1/6) (* (pow v 3) (PI))))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2)))) (pow v 3))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))))) (pow v 4))))) (pow v 3))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))))) (pow v 4))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (+ (* 1/2 (/ (+ 1/162 (* 1/36 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6))))))) (pow v 6)))))) (pow v 3))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (* -3 (* (pow v 3) (* (PI) (sqrt -6))))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2)))))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (+ (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))) (* 3 (/ (+ (* 1/2 (/ (PI) (pow (sqrt -6) 3))) (/ (PI) (sqrt -6))) (pow v 4))))))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (+ (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))) (+ (* 3 (/ (+ (* -1/2 (/ (PI) (pow (sqrt -6) 3))) (* -1/2 (/ (PI) (pow (sqrt -6) 5)))) (pow v 6))) (* 3 (/ (+ (* 1/2 (/ (PI) (pow (sqrt -6) 3))) (/ (PI) (sqrt -6))) (pow v 4)))))))))
#s(approx (* (* 3 (PI)) (- 1 (* v v))) #s(hole binary64 (* -3 (* (pow v 2) (PI)))))
#s(approx (* (* 3 (PI)) (- 1 (* v v))) #s(hole binary64 (* (pow v 2) (+ (* -3 (PI)) (* 3 (/ (PI) (pow v 2)))))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (* 4/3 (/ (sqrt -1/6) (* (pow v 3) (PI))))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (* -1 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2)))) (pow v 3)))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (* -1 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))))) (pow v 4))))) (pow v 3)))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (* -1 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))))) (pow v 4))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (+ (* 1/2 (/ (+ 1/162 (* 1/36 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6))))))) (pow v 6)))))) (pow v 3)))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (* 3 (* (pow v 3) (* (PI) (sqrt -6))))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (* -1 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))))))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (* -1 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (+ (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))) (* 3 (/ (+ (* 1/2 (/ (PI) (pow (sqrt -6) 3))) (/ (PI) (sqrt -6))) (pow v 4)))))))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (* -1 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (+ (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))) (+ (* 3 (/ (+ (* -1/2 (/ (PI) (pow (sqrt -6) 3))) (* -1/2 (/ (PI) (pow (sqrt -6) 5)))) (pow v 6))) (* 3 (/ (+ (* 1/2 (/ (PI) (pow (sqrt -6) 3))) (/ (PI) (sqrt -6))) (pow v 4))))))))))

Calls

3 calls:

Time	Variable		Point	Expression
22.0ms	v	@	-inf	((/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) (* (* 3 (PI)) (- 1 (* v v))) (* 3 (PI)) (* 6 (* v v)))
4.0ms	v	@	inf	((/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) (* (* 3 (PI)) (- 1 (* v v))) (* 3 (PI)) (* 6 (* v v)))
3.0ms	v	@	0	((/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) (* (* 3 (PI)) (- 1 (* v v))) (* 3 (PI)) (* 6 (* v v)))

Time

Variable

Point

Expression

22.0ms

-inf

((/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) (* (* 3 (PI)) (- 1 (* v v))) (* 3 (PI)) (* 6 (* v v)))

4.0ms

inf

((/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) (* (* 3 (PI)) (- 1 (* v v))) (* 3 (PI)) (* 6 (* v v)))

3.0ms

((/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) (* (* 3 (PI)) (- 1 (* v v))) (* 3 (PI)) (* 6 (* v v)))

simplify463.0ms (8.9%)

Memory

6.3MiB live, 194.7MiB allocated; 19ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	262	1713
1	796	1458
2	4359	1407
0	8173	1407
1	10429	1407
2	14571	1407
3	18209	1407
4	19841	1407
5	20598	1407
6	21067	1407
7	21223	1407
8	21236	1407

Stop Event

1×	saturated
1×	node limit

Counts

29 → 0

Calls

Call 1

Inputs
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (* 4/3 (/ (sqrt 1/2) (PI)))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (+ (* 4/3 (* (pow v 2) (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI))))) (* 4/3 (/ (sqrt 1/2) (PI))))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (+ (* 4/3 (/ (sqrt 1/2) (PI))) (* (pow v 2) (+ (* 4/3 (* (pow v 2) (+ (* 1/2 (/ (- 9/2 (* 9/16 (/ 1 (pow (sqrt 1/2) 2)))) (* (PI) (sqrt 1/2)))) (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI)))))) (* 4/3 (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI)))))))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (+ (* 4/3 (/ (sqrt 1/2) (PI))) (* (pow v 2) (+ (* 4/3 (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI)))) (* (pow v 2) (+ (* 4/3 (* (pow v 2) (+ (* 1/2 (/ (- 9/2 (* 9/16 (/ 1 (pow (sqrt 1/2) 2)))) (* (PI) (sqrt 1/2)))) (+ (* 1/2 (/ (- 27/2 (* 3/4 (/ (- 9/2 (* 9/16 (/ 1 (pow (sqrt 1/2) 2)))) (pow (sqrt 1/2) 2)))) (* (PI) (sqrt 1/2)))) (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI))))))) (* 4/3 (+ (* 1/2 (/ (- 9/2 (* 9/16 (/ 1 (pow (sqrt 1/2) 2)))) (* (PI) (sqrt 1/2)))) (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI))))))))))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (* 3 (* (PI) (sqrt 2)))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (+ (* 3 (* (PI) (sqrt 2))) (* 3 (* (pow v 2) (+ (* -3 (/ (PI) (sqrt 2))) (* -1 (* (PI) (sqrt 2)))))))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (+ (* 3 (* (PI) (sqrt 2))) (* (pow v 2) (+ (* 3 (* (pow v 2) (+ (* -9/2 (/ (PI) (pow (sqrt 2) 3))) (* 3 (/ (PI) (sqrt 2)))))) (* 3 (+ (* -3 (/ (PI) (sqrt 2))) (* -1 (* (PI) (sqrt 2))))))))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (+ (* 3 (* (PI) (sqrt 2))) (* (pow v 2) (+ (* 3 (+ (* -3 (/ (PI) (sqrt 2))) (* -1 (* (PI) (sqrt 2))))) (* (pow v 2) (+ (* 3 (* (pow v 2) (+ (* -27/2 (/ (PI) (pow (sqrt 2) 5))) (* 9/2 (/ (PI) (pow (sqrt 2) 3)))))) (* 3 (+ (* -9/2 (/ (PI) (pow (sqrt 2) 3))) (* 3 (/ (PI) (sqrt 2))))))))))))
#s(approx (* (* 3 (PI)) (- 1 (* v v))) #s(hole binary64 (* 3 (PI))))
#s(approx (* (* 3 (PI)) (- 1 (* v v))) #s(hole binary64 (+ (* -3 (* (pow v 2) (PI))) (* 3 (PI)))))
#s(approx (* 6 (* v v)) #s(hole binary64 (* 6 (pow v 2))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (* -4/3 (/ (sqrt -1/6) (* (pow v 3) (PI))))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2)))) (pow v 3))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))))) (pow v 4))))) (pow v 3))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))))) (pow v 4))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (+ (* 1/2 (/ (+ 1/162 (* 1/36 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6))))))) (pow v 6)))))) (pow v 3))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (* -3 (* (pow v 3) (* (PI) (sqrt -6))))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2)))))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (+ (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))) (* 3 (/ (+ (* 1/2 (/ (PI) (pow (sqrt -6) 3))) (/ (PI) (sqrt -6))) (pow v 4))))))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (+ (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))) (+ (* 3 (/ (+ (* -1/2 (/ (PI) (pow (sqrt -6) 3))) (* -1/2 (/ (PI) (pow (sqrt -6) 5)))) (pow v 6))) (* 3 (/ (+ (* 1/2 (/ (PI) (pow (sqrt -6) 3))) (/ (PI) (sqrt -6))) (pow v 4)))))))))
#s(approx (* (* 3 (PI)) (- 1 (* v v))) #s(hole binary64 (* -3 (* (pow v 2) (PI)))))
#s(approx (* (* 3 (PI)) (- 1 (* v v))) #s(hole binary64 (* (pow v 2) (+ (* -3 (PI)) (* 3 (/ (PI) (pow v 2)))))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (* 4/3 (/ (sqrt -1/6) (* (pow v 3) (PI))))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (* -1 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2)))) (pow v 3)))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (* -1 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))))) (pow v 4))))) (pow v 3)))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (* -1 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))))) (pow v 4))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (+ (* 1/2 (/ (+ 1/162 (* 1/36 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6))))))) (pow v 6)))))) (pow v 3)))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (* 3 (* (pow v 3) (* (PI) (sqrt -6))))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (* -1 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))))))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (* -1 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (+ (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))) (* 3 (/ (+ (* 1/2 (/ (PI) (pow (sqrt -6) 3))) (/ (PI) (sqrt -6))) (pow v 4)))))))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (* -1 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (+ (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))) (+ (* 3 (/ (+ (* -1/2 (/ (PI) (pow (sqrt -6) 3))) (* -1/2 (/ (PI) (pow (sqrt -6) 5)))) (pow v 6))) (* 3 (/ (+ (* 1/2 (/ (PI) (pow (sqrt -6) 3))) (/ (PI) (sqrt -6))) (pow v 4))))))))))

Outputs
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (* 4/3 (/ (sqrt 1/2) (PI)))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (+ (* 4/3 (* (pow v 2) (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI))))) (* 4/3 (/ (sqrt 1/2) (PI))))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (+ (* 4/3 (/ (sqrt 1/2) (PI))) (* (pow v 2) (+ (* 4/3 (* (pow v 2) (+ (* 1/2 (/ (- 9/2 (* 9/16 (/ 1 (pow (sqrt 1/2) 2)))) (* (PI) (sqrt 1/2)))) (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI)))))) (* 4/3 (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI)))))))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (+ (* 4/3 (/ (sqrt 1/2) (PI))) (* (pow v 2) (+ (* 4/3 (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI)))) (* (pow v 2) (+ (* 4/3 (* (pow v 2) (+ (* 1/2 (/ (- 9/2 (* 9/16 (/ 1 (pow (sqrt 1/2) 2)))) (* (PI) (sqrt 1/2)))) (+ (* 1/2 (/ (- 27/2 (* 3/4 (/ (- 9/2 (* 9/16 (/ 1 (pow (sqrt 1/2) 2)))) (pow (sqrt 1/2) 2)))) (* (PI) (sqrt 1/2)))) (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI))))))) (* 4/3 (+ (* 1/2 (/ (- 9/2 (* 9/16 (/ 1 (pow (sqrt 1/2) 2)))) (* (PI) (sqrt 1/2)))) (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI))))))))))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (* 3 (* (PI) (sqrt 2)))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (+ (* 3 (* (PI) (sqrt 2))) (* 3 (* (pow v 2) (+ (* -3 (/ (PI) (sqrt 2))) (* -1 (* (PI) (sqrt 2)))))))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (+ (* 3 (* (PI) (sqrt 2))) (* (pow v 2) (+ (* 3 (* (pow v 2) (+ (* -9/2 (/ (PI) (pow (sqrt 2) 3))) (* 3 (/ (PI) (sqrt 2)))))) (* 3 (+ (* -3 (/ (PI) (sqrt 2))) (* -1 (* (PI) (sqrt 2))))))))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (+ (* 3 (* (PI) (sqrt 2))) (* (pow v 2) (+ (* 3 (+ (* -3 (/ (PI) (sqrt 2))) (* -1 (* (PI) (sqrt 2))))) (* (pow v 2) (+ (* 3 (* (pow v 2) (+ (* -27/2 (/ (PI) (pow (sqrt 2) 5))) (* 9/2 (/ (PI) (pow (sqrt 2) 3)))))) (* 3 (+ (* -9/2 (/ (PI) (pow (sqrt 2) 3))) (* 3 (/ (PI) (sqrt 2))))))))))))
#s(approx (* (* 3 (PI)) (- 1 (* v v))) #s(hole binary64 (* 3 (PI))))
#s(approx (* (* 3 (PI)) (- 1 (* v v))) #s(hole binary64 (+ (* -3 (* (pow v 2) (PI))) (* 3 (PI)))))
#s(approx (* 6 (* v v)) #s(hole binary64 (* 6 (pow v 2))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (* -4/3 (/ (sqrt -1/6) (* (pow v 3) (PI))))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2)))) (pow v 3))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))))) (pow v 4))))) (pow v 3))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))))) (pow v 4))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (+ (* 1/2 (/ (+ 1/162 (* 1/36 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6))))))) (pow v 6)))))) (pow v 3))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (* -3 (* (pow v 3) (* (PI) (sqrt -6))))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2)))))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (+ (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))) (* 3 (/ (+ (* 1/2 (/ (PI) (pow (sqrt -6) 3))) (/ (PI) (sqrt -6))) (pow v 4))))))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (+ (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))) (+ (* 3 (/ (+ (* -1/2 (/ (PI) (pow (sqrt -6) 3))) (* -1/2 (/ (PI) (pow (sqrt -6) 5)))) (pow v 6))) (* 3 (/ (+ (* 1/2 (/ (PI) (pow (sqrt -6) 3))) (/ (PI) (sqrt -6))) (pow v 4)))))))))
#s(approx (* (* 3 (PI)) (- 1 (* v v))) #s(hole binary64 (* -3 (* (pow v 2) (PI)))))
#s(approx (* (* 3 (PI)) (- 1 (* v v))) #s(hole binary64 (* (pow v 2) (+ (* -3 (PI)) (* 3 (/ (PI) (pow v 2)))))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (* 4/3 (/ (sqrt -1/6) (* (pow v 3) (PI))))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (* -1 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2)))) (pow v 3)))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (* -1 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))))) (pow v 4))))) (pow v 3)))))
#s(approx (/ 4 (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))) #s(hole binary64 (* -1 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))))) (pow v 4))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (+ (* 1/2 (/ (+ 1/162 (* 1/36 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6))))))) (pow v 6)))))) (pow v 3)))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (* 3 (* (pow v 3) (* (PI) (sqrt -6))))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (* -1 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))))))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (* -1 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (+ (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))) (* 3 (/ (+ (* 1/2 (/ (PI) (pow (sqrt -6) 3))) (/ (PI) (sqrt -6))) (pow v 4)))))))))
#s(approx (* (* (* 3 (PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))) #s(hole binary64 (* -1 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (+ (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))) (+ (* 3 (/ (+ (* -1/2 (/ (PI) (pow (sqrt -6) 3))) (* -1/2 (/ (PI) (pow (sqrt -6) 5)))) (pow v 6))) (* 3 (/ (+ (* 1/2 (/ (PI) (pow (sqrt -6) 3))) (/ (PI) (sqrt -6))) (pow v 4))))))))))

rewrite84.0ms (1.6%)

Memory

32.8MiB live, 134.2MiB allocated; 14ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	23	81
1	33	81
2	37	81
3	41	71
4	45	71
5	47	67
6	49	65
7	51	65
0	51	65
1	122	63
0	729	63
1	947	63
2	1240	63
3	1517	63
4	1620	63
5	1646	63
6	1650	63

Stop Event

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

Counts

5 → 50

Calls

Call 1

Inputs
(/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v))))))
(.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v)))))
(.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (*.f64 v v)))
(*.f64 #s(literal 3 binary64) (PI.f64))
(.f64 #s(literal 6 binary64) (.f64 v v))

Outputs
(.f64 (/.f64 #s(literal 2 binary64) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 #s(literal 6 binary64) v) v)))) (/.f64 #s(literal 2 binary64) (.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) (*.f64 (PI.f64) #s(literal 3 binary64)))))
(.f64 (/.f64 #s(literal 2 binary64) (.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) (.f64 (PI.f64) #s(literal 3 binary64)))) (/.f64 #s(literal 2 binary64) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 #s(literal 6 binary64) v) v)))))
(.f64 (/.f64 #s(literal 2 binary64) (.f64 (PI.f64) #s(literal 3 binary64))) (/.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64)))))
(.f64 #s(literal 2 binary64) (/.f64 #s(literal 2 binary64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 #s(literal 6 binary64) v) v))) (.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) (.f64 (PI.f64) #s(literal 3 binary64))))))
(/.f64 (/.f64 #s(literal 4 binary64) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 #s(literal 6 binary64) v) v)))) (.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) (.f64 (PI.f64) #s(literal 3 binary64))))
(/.f64 (/.f64 #s(literal 4 binary64) (.f64 (PI.f64) #s(literal 3 binary64))) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))))
(/.f64 (neg.f64 (/.f64 #s(literal 4 binary64) (.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) (.f64 (PI.f64) #s(literal 3 binary64))))) (neg.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 #s(literal 6 binary64) v) v)))))
(/.f64 (/.f64 #s(literal 4 binary64) (.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) (.f64 (PI.f64) #s(literal 3 binary64)))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 #s(literal 6 binary64) v) v))))
(/.f64 #s(literal 4 binary64) (neg.f64 (.f64 (neg.f64 (.f64 (PI.f64) #s(literal 3 binary64))) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))))))
(/.f64 #s(literal 4 binary64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 #s(literal 6 binary64) v) v))) (.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) (*.f64 (PI.f64) #s(literal 3 binary64)))))
(neg.f64 (/.f64 #s(literal 4 binary64) (.f64 (neg.f64 (.f64 (PI.f64) #s(literal 3 binary64))) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))))))
(.f64 (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 #s(literal 6 binary64) v) v))) (*.f64 (PI.f64) #s(literal 3 binary64))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64)))
(.f64 (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 #s(literal 6 binary64) v) v))) #s(literal 3 binary64)) (*.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) (PI.f64)))
(.f64 (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))) (*.f64 (PI.f64) #s(literal 3 binary64)))
(.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 #s(literal 6 binary64) v) v))) (.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) (*.f64 (PI.f64) #s(literal 3 binary64))))
(.f64 (.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) (.f64 (PI.f64) #s(literal 3 binary64))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 #s(literal 6 binary64) v) v))))
(.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) (.f64 (.f64 (PI.f64) #s(literal 3 binary64)) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 #s(literal 6 binary64) v) v)))))
(.f64 (.f64 (PI.f64) #s(literal 3 binary64)) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))))
(.f64 (PI.f64) (.f64 #s(literal 3 binary64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64)))))
(.f64 #s(literal 3 binary64) (.f64 (.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) (PI.f64)) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 #s(literal 6 binary64) v) v)))))
(.f64 #s(literal 3 binary64) (.f64 (PI.f64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64)))))
(.f64 (.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) #s(literal 3 binary64)) (PI.f64))
(.f64 (.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) (PI.f64)) #s(literal 3 binary64))
(.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) (.f64 (PI.f64) #s(literal 3 binary64)))
(.f64 (.f64 (PI.f64) #s(literal 3 binary64)) (fma.f64 (neg.f64 v) v #s(literal 1 binary64)))
(.f64 (PI.f64) (.f64 #s(literal 3 binary64) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))))
(.f64 #s(literal 3 binary64) (.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) (PI.f64)))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 v #s(literal 4 binary64))) (.f64 (PI.f64) #s(literal 3 binary64))) (fma.f64 v v #s(literal 1 binary64)))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 v #s(literal 6 binary64))) (.f64 (PI.f64) #s(literal 3 binary64))) (+.f64 (fma.f64 v v (pow.f64 v #s(literal 4 binary64))) #s(literal 1 binary64)))
(/.f64 (.f64 (.f64 (PI.f64) #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (pow.f64 v #s(literal 4 binary64)))) (fma.f64 v v #s(literal 1 binary64)))
(/.f64 (.f64 (.f64 (PI.f64) #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (pow.f64 v #s(literal 6 binary64)))) (+.f64 (fma.f64 v v (pow.f64 v #s(literal 4 binary64))) #s(literal 1 binary64)))
(fma.f64 #s(literal 1 binary64) (.f64 (PI.f64) #s(literal 3 binary64)) (.f64 (.f64 (neg.f64 v) v) (.f64 (PI.f64) #s(literal 3 binary64))))
(fma.f64 (.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1 binary64) (.f64 (.f64 (PI.f64) #s(literal 3 binary64)) (.f64 (neg.f64 v) v)))
(+.f64 (.f64 #s(literal 1 binary64) (.f64 (PI.f64) #s(literal 3 binary64))) (.f64 (.f64 (neg.f64 v) v) (*.f64 (PI.f64) #s(literal 3 binary64))))
(+.f64 (.f64 (.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1 binary64)) (.f64 (.f64 (PI.f64) #s(literal 3 binary64)) (*.f64 (neg.f64 v) v)))
(.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64)))
(.f64 (.f64 #s(literal 3 binary64) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64))) (cbrt.f64 (PI.f64)))
(.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) #s(literal 3 binary64)))
(.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) (.f64 (cbrt.f64 (PI.f64)) #s(literal 3 binary64)))
(*.f64 (PI.f64) #s(literal 3 binary64))
(*.f64 #s(literal 3 binary64) (PI.f64))
(log.f64 (pow.f64 (exp.f64 (PI.f64)) #s(literal 3 binary64)))
(.f64 (.f64 #s(literal 6 binary64) (neg.f64 v)) (neg.f64 v))
(.f64 (.f64 #s(literal 6 binary64) (fabs.f64 v)) (fabs.f64 v))
(.f64 (.f64 #s(literal 6 binary64) v) v)
(.f64 (neg.f64 v) (.f64 (neg.f64 v) #s(literal 6 binary64)))
(.f64 (fabs.f64 v) (.f64 (fabs.f64 v) #s(literal 6 binary64)))
(.f64 #s(literal 6 binary64) (.f64 v v))
(.f64 (.f64 v v) #s(literal 6 binary64))
(.f64 v (.f64 #s(literal 6 binary64) v))

eval7.0ms (0.1%)

Memory: -30.6MiB live, 16.9MiB allocated; 2ms collecting garbage
Compiler: Compiled 1 090 to 204 computations (81.3% saved)

prune3.0ms (0.1%)

Memory

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

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	49	1	50
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	49	2	51

Accuracy

100.0%

Counts

51 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	98.4%	(/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v))))))
▶	100.0%	(/.f64 #s(literal 4 binary64) (.f64 (PI.f64) (.f64 #s(literal 3 binary64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))))))

Status

Accuracy

Program

✓

98.4%

(/.f64 #s(literal 4 binary64) (*.f64 (*.f64 (*.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (*.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (*.f64 #s(literal 6 binary64) (*.f64 v v))))))

▶

100.0%

(/.f64 #s(literal 4 binary64) (*.f64 (PI.f64) (*.f64 #s(literal 3 binary64) (*.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (*.f64 (*.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))))))

Compiler

Compiled 40 to 33 computations (17.5% saved)

simplify104.0ms (2%)

Memory

-19.1MiB live, 75.3MiB allocated; 3ms collecting garbage

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(.f64 #s(literal 3 binary64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))))
cost-diff	0	(PI.f64)
cost-diff	0	(.f64 (PI.f64) (.f64 #s(literal 3 binary64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64)))))
cost-diff	0	(/.f64 #s(literal 4 binary64) (.f64 (PI.f64) (.f64 #s(literal 3 binary64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	161
0	34	161
1	37	161
2	41	161
3	52	161
4	100	161
5	395	161
6	3788	161
0	8104	161

Stop Event

1×	saturated
1×	node limit
1×	iter limit

Calls

Call 1

Inputs
(/.f64 #s(literal 4 binary64) (.f64 (PI.f64) (.f64 #s(literal 3 binary64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))))))
#s(literal 4 binary64)
(.f64 (PI.f64) (.f64 #s(literal 3 binary64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64)))))
(PI.f64)
(.f64 #s(literal 3 binary64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))))
#s(literal 3 binary64)
(.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64)))
(sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 #s(literal 6 binary64) v) v)))
(-.f64 #s(literal 2 binary64) (.f64 (.f64 #s(literal 6 binary64) v) v))
#s(literal 2 binary64)
(.f64 (.f64 #s(literal 6 binary64) v) v)
(*.f64 #s(literal 6 binary64) v)
#s(literal 6 binary64)
v
(fma.f64 (neg.f64 v) v #s(literal 1 binary64))
(neg.f64 v)
#s(literal 1 binary64)

Outputs
(/.f64 #s(literal 4 binary64) (.f64 (PI.f64) (.f64 #s(literal 3 binary64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))))))
#s(literal 4 binary64)
(.f64 (PI.f64) (.f64 #s(literal 3 binary64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64)))))
(PI.f64)
(.f64 #s(literal 3 binary64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))))
#s(literal 3 binary64)
(.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64)))
(sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 #s(literal 6 binary64) v) v)))
(-.f64 #s(literal 2 binary64) (.f64 (.f64 #s(literal 6 binary64) v) v))
#s(literal 2 binary64)
(.f64 (.f64 #s(literal 6 binary64) v) v)
(*.f64 #s(literal 6 binary64) v)
#s(literal 6 binary64)
v
(fma.f64 (neg.f64 v) v #s(literal 1 binary64))
(neg.f64 v)
#s(literal 1 binary64)

localize84.0ms (1.6%)

Memory

1.8MiB live, 98.1MiB allocated; 9ms collecting garbage

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.171875	(.f64 (.f64 #s(literal 6 binary64) v) v)
accuracy	0.984375	(/.f64 #s(literal 4 binary64) (.f64 (PI.f64) (.f64 #s(literal 3 binary64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))))))
accuracy	0.984375	(.f64 #s(literal 3 binary64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))))
accuracy	0.9921875	(.f64 (PI.f64) (.f64 #s(literal 3 binary64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64)))))

Samples

42.0ms

256×

valid

Compiler

Compiled 112 to 20 computations (82.1% saved)

Precisions

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

exact: 10.0ms (37.8% of total)

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

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

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

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

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

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

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

adjust: 0.0ms (0% of total)

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

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

series7.0ms (0.1%)

Memory

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

Counts

5 → 37

Calls

Call 1

Inputs
(/.f64 #s(literal 4 binary64) (.f64 (PI.f64) (.f64 #s(literal 3 binary64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))))))
(.f64 (PI.f64) (.f64 #s(literal 3 binary64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64)))))
(PI.f64)
(.f64 #s(literal 3 binary64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))))
(.f64 (.f64 #s(literal 6 binary64) v) v)

Outputs
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (* 4/3 (/ (sqrt 1/2) (PI)))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (+ (* 4/3 (* (pow v 2) (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI))))) (* 4/3 (/ (sqrt 1/2) (PI))))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (+ (* 4/3 (/ (sqrt 1/2) (PI))) (* (pow v 2) (+ (* 4/3 (* (pow v 2) (+ (* 1/2 (/ (- 9/2 (* 9/16 (/ 1 (pow (sqrt 1/2) 2)))) (* (PI) (sqrt 1/2)))) (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI)))))) (* 4/3 (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI)))))))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (+ (* 4/3 (/ (sqrt 1/2) (PI))) (* (pow v 2) (+ (* 4/3 (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI)))) (* (pow v 2) (+ (* 4/3 (* (pow v 2) (+ (* 1/2 (/ (- 9/2 (* 9/16 (/ 1 (pow (sqrt 1/2) 2)))) (* (PI) (sqrt 1/2)))) (+ (* 1/2 (/ (- 27/2 (* 3/4 (/ (- 9/2 (* 9/16 (/ 1 (pow (sqrt 1/2) 2)))) (pow (sqrt 1/2) 2)))) (* (PI) (sqrt 1/2)))) (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI))))))) (* 4/3 (+ (* 1/2 (/ (- 9/2 (* 9/16 (/ 1 (pow (sqrt 1/2) 2)))) (* (PI) (sqrt 1/2)))) (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI))))))))))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (* 3 (* (PI) (sqrt 2)))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (+ (* 3 (* (PI) (sqrt 2))) (* 3 (* (pow v 2) (+ (* -3 (/ (PI) (sqrt 2))) (* -1 (* (PI) (sqrt 2)))))))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (+ (* 3 (* (PI) (sqrt 2))) (* (pow v 2) (+ (* 3 (* (pow v 2) (+ (* -9/2 (/ (PI) (pow (sqrt 2) 3))) (* 3 (/ (PI) (sqrt 2)))))) (* 3 (+ (* -3 (/ (PI) (sqrt 2))) (* -1 (* (PI) (sqrt 2))))))))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (+ (* 3 (* (PI) (sqrt 2))) (* (pow v 2) (+ (* 3 (+ (* -3 (/ (PI) (sqrt 2))) (* -1 (* (PI) (sqrt 2))))) (* (pow v 2) (+ (* 3 (* (pow v 2) (+ (* -27/2 (/ (PI) (pow (sqrt 2) 5))) (* 9/2 (/ (PI) (pow (sqrt 2) 3)))))) (* 3 (+ (* -9/2 (/ (PI) (pow (sqrt 2) 3))) (* 3 (/ (PI) (sqrt 2))))))))))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (* 3 (sqrt 2))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (+ (* 3 (sqrt 2)) (* 3 (* (pow v 2) (- (* -1 (sqrt 2)) (* 3 (/ 1 (sqrt 2)))))))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (+ (* 3 (sqrt 2)) (* (pow v 2) (+ (* 3 (* (pow v 2) (- (* 3 (/ 1 (sqrt 2))) (* 9/2 (/ 1 (pow (sqrt 2) 3)))))) (* 3 (- (* -1 (sqrt 2)) (* 3 (/ 1 (sqrt 2))))))))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (+ (* 3 (sqrt 2)) (* (pow v 2) (+ (* 3 (- (* -1 (sqrt 2)) (* 3 (/ 1 (sqrt 2))))) (* (pow v 2) (+ (* 3 (* (pow v 2) (- (* 9/2 (/ 1 (pow (sqrt 2) 3))) (* 27/2 (/ 1 (pow (sqrt 2) 5)))))) (* 3 (- (* 3 (/ 1 (sqrt 2))) (* 9/2 (/ 1 (pow (sqrt 2) 3))))))))))))
#s(approx (* (* 6 v) v) #s(hole binary64 (* 6 (pow v 2))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (* -4/3 (/ (sqrt -1/6) (* (pow v 3) (PI))))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2)))) (pow v 3))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))))) (pow v 4))))) (pow v 3))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))))) (pow v 4))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (+ (* 1/2 (/ (+ 1/162 (* 1/36 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6))))))) (pow v 6)))))) (pow v 3))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (* -3 (* (pow v 3) (* (PI) (sqrt -6))))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2)))))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (+ (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))) (* 3 (/ (+ (* 1/2 (/ (PI) (pow (sqrt -6) 3))) (/ (PI) (sqrt -6))) (pow v 4))))))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (+ (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))) (+ (* 3 (/ (+ (* -1/2 (/ (PI) (pow (sqrt -6) 3))) (* -1/2 (/ (PI) (pow (sqrt -6) 5)))) (pow v 6))) (* 3 (/ (+ (* 1/2 (/ (PI) (pow (sqrt -6) 3))) (/ (PI) (sqrt -6))) (pow v 4)))))))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (* -3 (* (pow v 3) (sqrt -6)))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (* (pow v 3) (+ (* -3 (sqrt -6)) (* 3 (/ (- (sqrt -6) (/ 1 (sqrt -6))) (pow v 2)))))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (* (pow v 3) (+ (* -3 (sqrt -6)) (+ (* 3 (/ (+ (/ 1 (sqrt -6)) (* 1/2 (/ 1 (pow (sqrt -6) 3)))) (pow v 4))) (* 3 (/ (- (sqrt -6) (/ 1 (sqrt -6))) (pow v 2))))))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (* (pow v 3) (+ (* -3 (sqrt -6)) (+ (* -3 (/ (+ (* 1/2 (/ 1 (pow (sqrt -6) 3))) (* 1/2 (/ 1 (pow (sqrt -6) 5)))) (pow v 6))) (+ (* 3 (/ (+ (/ 1 (sqrt -6)) (* 1/2 (/ 1 (pow (sqrt -6) 3)))) (pow v 4))) (* 3 (/ (- (sqrt -6) (/ 1 (sqrt -6))) (pow v 2)))))))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (* 4/3 (/ (sqrt -1/6) (* (pow v 3) (PI))))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (* -1 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2)))) (pow v 3)))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (* -1 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))))) (pow v 4))))) (pow v 3)))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (* -1 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))))) (pow v 4))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (+ (* 1/2 (/ (+ 1/162 (* 1/36 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6))))))) (pow v 6)))))) (pow v 3)))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (* 3 (* (pow v 3) (* (PI) (sqrt -6))))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (* -1 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))))))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (* -1 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (+ (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))) (* 3 (/ (+ (* 1/2 (/ (PI) (pow (sqrt -6) 3))) (/ (PI) (sqrt -6))) (pow v 4)))))))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (* -1 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (+ (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))) (+ (* 3 (/ (+ (* -1/2 (/ (PI) (pow (sqrt -6) 3))) (* -1/2 (/ (PI) (pow (sqrt -6) 5)))) (pow v 6))) (* 3 (/ (+ (* 1/2 (/ (PI) (pow (sqrt -6) 3))) (/ (PI) (sqrt -6))) (pow v 4))))))))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (* 3 (* (pow v 3) (sqrt -6)))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (* -1 (* (pow v 3) (+ (* -3 (sqrt -6)) (* 3 (/ (- (sqrt -6) (/ 1 (sqrt -6))) (pow v 2))))))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (* -1 (* (pow v 3) (+ (* -3 (sqrt -6)) (+ (* 3 (/ (+ (/ 1 (sqrt -6)) (* 1/2 (/ 1 (pow (sqrt -6) 3)))) (pow v 4))) (* 3 (/ (- (sqrt -6) (/ 1 (sqrt -6))) (pow v 2)))))))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (* -1 (* (pow v 3) (+ (* -3 (sqrt -6)) (+ (* -3 (/ (+ (* 1/2 (/ 1 (pow (sqrt -6) 3))) (* 1/2 (/ 1 (pow (sqrt -6) 5)))) (pow v 6))) (+ (* 3 (/ (+ (/ 1 (sqrt -6)) (* 1/2 (/ 1 (pow (sqrt -6) 3)))) (pow v 4))) (* 3 (/ (- (sqrt -6) (/ 1 (sqrt -6))) (pow v 2))))))))))

Calls

3 calls:

Time	Variable		Point	Expression
3.0ms	v	@	inf	((/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) (* (* 6 v) v))
1.0ms	v	@	0	((/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) (* (* 6 v) v))
1.0ms	v	@	-inf	((/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) (* (* 6 v) v))

Time

Variable

Point

Expression

3.0ms

inf

((/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) (* (* 6 v) v))

1.0ms

((/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) (* (* 6 v) v))

1.0ms

-inf

((/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) (* (* 6 v) v))

simplify499.0ms (9.6%)

Memory

-11.6MiB live, 178.4MiB allocated; 12ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	329	2259
1	1001	1970
2	5146	1899
0	8391	1899
1	10667	1899
2	14984	1899
3	18756	1899
4	20606	1899
5	21472	1899
6	21972	1899
7	22136	1899
8	22153	1899

Stop Event

1×	saturated
1×	node limit

Counts

37 → 0

Calls

Call 1

Inputs
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (* 4/3 (/ (sqrt 1/2) (PI)))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (+ (* 4/3 (* (pow v 2) (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI))))) (* 4/3 (/ (sqrt 1/2) (PI))))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (+ (* 4/3 (/ (sqrt 1/2) (PI))) (* (pow v 2) (+ (* 4/3 (* (pow v 2) (+ (* 1/2 (/ (- 9/2 (* 9/16 (/ 1 (pow (sqrt 1/2) 2)))) (* (PI) (sqrt 1/2)))) (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI)))))) (* 4/3 (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI)))))))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (+ (* 4/3 (/ (sqrt 1/2) (PI))) (* (pow v 2) (+ (* 4/3 (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI)))) (* (pow v 2) (+ (* 4/3 (* (pow v 2) (+ (* 1/2 (/ (- 9/2 (* 9/16 (/ 1 (pow (sqrt 1/2) 2)))) (* (PI) (sqrt 1/2)))) (+ (* 1/2 (/ (- 27/2 (* 3/4 (/ (- 9/2 (* 9/16 (/ 1 (pow (sqrt 1/2) 2)))) (pow (sqrt 1/2) 2)))) (* (PI) (sqrt 1/2)))) (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI))))))) (* 4/3 (+ (* 1/2 (/ (- 9/2 (* 9/16 (/ 1 (pow (sqrt 1/2) 2)))) (* (PI) (sqrt 1/2)))) (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI))))))))))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (* 3 (* (PI) (sqrt 2)))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (+ (* 3 (* (PI) (sqrt 2))) (* 3 (* (pow v 2) (+ (* -3 (/ (PI) (sqrt 2))) (* -1 (* (PI) (sqrt 2)))))))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (+ (* 3 (* (PI) (sqrt 2))) (* (pow v 2) (+ (* 3 (* (pow v 2) (+ (* -9/2 (/ (PI) (pow (sqrt 2) 3))) (* 3 (/ (PI) (sqrt 2)))))) (* 3 (+ (* -3 (/ (PI) (sqrt 2))) (* -1 (* (PI) (sqrt 2))))))))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (+ (* 3 (* (PI) (sqrt 2))) (* (pow v 2) (+ (* 3 (+ (* -3 (/ (PI) (sqrt 2))) (* -1 (* (PI) (sqrt 2))))) (* (pow v 2) (+ (* 3 (* (pow v 2) (+ (* -27/2 (/ (PI) (pow (sqrt 2) 5))) (* 9/2 (/ (PI) (pow (sqrt 2) 3)))))) (* 3 (+ (* -9/2 (/ (PI) (pow (sqrt 2) 3))) (* 3 (/ (PI) (sqrt 2))))))))))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (* 3 (sqrt 2))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (+ (* 3 (sqrt 2)) (* 3 (* (pow v 2) (- (* -1 (sqrt 2)) (* 3 (/ 1 (sqrt 2)))))))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (+ (* 3 (sqrt 2)) (* (pow v 2) (+ (* 3 (* (pow v 2) (- (* 3 (/ 1 (sqrt 2))) (* 9/2 (/ 1 (pow (sqrt 2) 3)))))) (* 3 (- (* -1 (sqrt 2)) (* 3 (/ 1 (sqrt 2))))))))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (+ (* 3 (sqrt 2)) (* (pow v 2) (+ (* 3 (- (* -1 (sqrt 2)) (* 3 (/ 1 (sqrt 2))))) (* (pow v 2) (+ (* 3 (* (pow v 2) (- (* 9/2 (/ 1 (pow (sqrt 2) 3))) (* 27/2 (/ 1 (pow (sqrt 2) 5)))))) (* 3 (- (* 3 (/ 1 (sqrt 2))) (* 9/2 (/ 1 (pow (sqrt 2) 3))))))))))))
#s(approx (* (* 6 v) v) #s(hole binary64 (* 6 (pow v 2))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (* -4/3 (/ (sqrt -1/6) (* (pow v 3) (PI))))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2)))) (pow v 3))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))))) (pow v 4))))) (pow v 3))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))))) (pow v 4))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (+ (* 1/2 (/ (+ 1/162 (* 1/36 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6))))))) (pow v 6)))))) (pow v 3))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (* -3 (* (pow v 3) (* (PI) (sqrt -6))))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2)))))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (+ (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))) (* 3 (/ (+ (* 1/2 (/ (PI) (pow (sqrt -6) 3))) (/ (PI) (sqrt -6))) (pow v 4))))))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (+ (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))) (+ (* 3 (/ (+ (* -1/2 (/ (PI) (pow (sqrt -6) 3))) (* -1/2 (/ (PI) (pow (sqrt -6) 5)))) (pow v 6))) (* 3 (/ (+ (* 1/2 (/ (PI) (pow (sqrt -6) 3))) (/ (PI) (sqrt -6))) (pow v 4)))))))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (* -3 (* (pow v 3) (sqrt -6)))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (* (pow v 3) (+ (* -3 (sqrt -6)) (* 3 (/ (- (sqrt -6) (/ 1 (sqrt -6))) (pow v 2)))))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (* (pow v 3) (+ (* -3 (sqrt -6)) (+ (* 3 (/ (+ (/ 1 (sqrt -6)) (* 1/2 (/ 1 (pow (sqrt -6) 3)))) (pow v 4))) (* 3 (/ (- (sqrt -6) (/ 1 (sqrt -6))) (pow v 2))))))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (* (pow v 3) (+ (* -3 (sqrt -6)) (+ (* -3 (/ (+ (* 1/2 (/ 1 (pow (sqrt -6) 3))) (* 1/2 (/ 1 (pow (sqrt -6) 5)))) (pow v 6))) (+ (* 3 (/ (+ (/ 1 (sqrt -6)) (* 1/2 (/ 1 (pow (sqrt -6) 3)))) (pow v 4))) (* 3 (/ (- (sqrt -6) (/ 1 (sqrt -6))) (pow v 2)))))))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (* 4/3 (/ (sqrt -1/6) (* (pow v 3) (PI))))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (* -1 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2)))) (pow v 3)))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (* -1 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))))) (pow v 4))))) (pow v 3)))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (* -1 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))))) (pow v 4))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (+ (* 1/2 (/ (+ 1/162 (* 1/36 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6))))))) (pow v 6)))))) (pow v 3)))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (* 3 (* (pow v 3) (* (PI) (sqrt -6))))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (* -1 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))))))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (* -1 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (+ (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))) (* 3 (/ (+ (* 1/2 (/ (PI) (pow (sqrt -6) 3))) (/ (PI) (sqrt -6))) (pow v 4)))))))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (* -1 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (+ (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))) (+ (* 3 (/ (+ (* -1/2 (/ (PI) (pow (sqrt -6) 3))) (* -1/2 (/ (PI) (pow (sqrt -6) 5)))) (pow v 6))) (* 3 (/ (+ (* 1/2 (/ (PI) (pow (sqrt -6) 3))) (/ (PI) (sqrt -6))) (pow v 4))))))))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (* 3 (* (pow v 3) (sqrt -6)))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (* -1 (* (pow v 3) (+ (* -3 (sqrt -6)) (* 3 (/ (- (sqrt -6) (/ 1 (sqrt -6))) (pow v 2))))))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (* -1 (* (pow v 3) (+ (* -3 (sqrt -6)) (+ (* 3 (/ (+ (/ 1 (sqrt -6)) (* 1/2 (/ 1 (pow (sqrt -6) 3)))) (pow v 4))) (* 3 (/ (- (sqrt -6) (/ 1 (sqrt -6))) (pow v 2)))))))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (* -1 (* (pow v 3) (+ (* -3 (sqrt -6)) (+ (* -3 (/ (+ (* 1/2 (/ 1 (pow (sqrt -6) 3))) (* 1/2 (/ 1 (pow (sqrt -6) 5)))) (pow v 6))) (+ (* 3 (/ (+ (/ 1 (sqrt -6)) (* 1/2 (/ 1 (pow (sqrt -6) 3)))) (pow v 4))) (* 3 (/ (- (sqrt -6) (/ 1 (sqrt -6))) (pow v 2))))))))))

Outputs
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (* 4/3 (/ (sqrt 1/2) (PI)))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (+ (* 4/3 (* (pow v 2) (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI))))) (* 4/3 (/ (sqrt 1/2) (PI))))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (+ (* 4/3 (/ (sqrt 1/2) (PI))) (* (pow v 2) (+ (* 4/3 (* (pow v 2) (+ (* 1/2 (/ (- 9/2 (* 9/16 (/ 1 (pow (sqrt 1/2) 2)))) (* (PI) (sqrt 1/2)))) (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI)))))) (* 4/3 (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI)))))))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (+ (* 4/3 (/ (sqrt 1/2) (PI))) (* (pow v 2) (+ (* 4/3 (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI)))) (* (pow v 2) (+ (* 4/3 (* (pow v 2) (+ (* 1/2 (/ (- 9/2 (* 9/16 (/ 1 (pow (sqrt 1/2) 2)))) (* (PI) (sqrt 1/2)))) (+ (* 1/2 (/ (- 27/2 (* 3/4 (/ (- 9/2 (* 9/16 (/ 1 (pow (sqrt 1/2) 2)))) (pow (sqrt 1/2) 2)))) (* (PI) (sqrt 1/2)))) (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI))))))) (* 4/3 (+ (* 1/2 (/ (- 9/2 (* 9/16 (/ 1 (pow (sqrt 1/2) 2)))) (* (PI) (sqrt 1/2)))) (+ (* 3/4 (/ 1 (* (PI) (sqrt 1/2)))) (/ (sqrt 1/2) (PI))))))))))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (* 3 (* (PI) (sqrt 2)))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (+ (* 3 (* (PI) (sqrt 2))) (* 3 (* (pow v 2) (+ (* -3 (/ (PI) (sqrt 2))) (* -1 (* (PI) (sqrt 2)))))))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (+ (* 3 (* (PI) (sqrt 2))) (* (pow v 2) (+ (* 3 (* (pow v 2) (+ (* -9/2 (/ (PI) (pow (sqrt 2) 3))) (* 3 (/ (PI) (sqrt 2)))))) (* 3 (+ (* -3 (/ (PI) (sqrt 2))) (* -1 (* (PI) (sqrt 2))))))))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (+ (* 3 (* (PI) (sqrt 2))) (* (pow v 2) (+ (* 3 (+ (* -3 (/ (PI) (sqrt 2))) (* -1 (* (PI) (sqrt 2))))) (* (pow v 2) (+ (* 3 (* (pow v 2) (+ (* -27/2 (/ (PI) (pow (sqrt 2) 5))) (* 9/2 (/ (PI) (pow (sqrt 2) 3)))))) (* 3 (+ (* -9/2 (/ (PI) (pow (sqrt 2) 3))) (* 3 (/ (PI) (sqrt 2))))))))))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (* 3 (sqrt 2))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (+ (* 3 (sqrt 2)) (* 3 (* (pow v 2) (- (* -1 (sqrt 2)) (* 3 (/ 1 (sqrt 2)))))))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (+ (* 3 (sqrt 2)) (* (pow v 2) (+ (* 3 (* (pow v 2) (- (* 3 (/ 1 (sqrt 2))) (* 9/2 (/ 1 (pow (sqrt 2) 3)))))) (* 3 (- (* -1 (sqrt 2)) (* 3 (/ 1 (sqrt 2))))))))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (+ (* 3 (sqrt 2)) (* (pow v 2) (+ (* 3 (- (* -1 (sqrt 2)) (* 3 (/ 1 (sqrt 2))))) (* (pow v 2) (+ (* 3 (* (pow v 2) (- (* 9/2 (/ 1 (pow (sqrt 2) 3))) (* 27/2 (/ 1 (pow (sqrt 2) 5)))))) (* 3 (- (* 3 (/ 1 (sqrt 2))) (* 9/2 (/ 1 (pow (sqrt 2) 3))))))))))))
#s(approx (* (* 6 v) v) #s(hole binary64 (* 6 (pow v 2))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (* -4/3 (/ (sqrt -1/6) (* (pow v 3) (PI))))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2)))) (pow v 3))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))))) (pow v 4))))) (pow v 3))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))))) (pow v 4))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (+ (* 1/2 (/ (+ 1/162 (* 1/36 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6))))))) (pow v 6)))))) (pow v 3))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (* -3 (* (pow v 3) (* (PI) (sqrt -6))))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2)))))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (+ (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))) (* 3 (/ (+ (* 1/2 (/ (PI) (pow (sqrt -6) 3))) (/ (PI) (sqrt -6))) (pow v 4))))))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (+ (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))) (+ (* 3 (/ (+ (* -1/2 (/ (PI) (pow (sqrt -6) 3))) (* -1/2 (/ (PI) (pow (sqrt -6) 5)))) (pow v 6))) (* 3 (/ (+ (* 1/2 (/ (PI) (pow (sqrt -6) 3))) (/ (PI) (sqrt -6))) (pow v 4)))))))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (* -3 (* (pow v 3) (sqrt -6)))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (* (pow v 3) (+ (* -3 (sqrt -6)) (* 3 (/ (- (sqrt -6) (/ 1 (sqrt -6))) (pow v 2)))))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (* (pow v 3) (+ (* -3 (sqrt -6)) (+ (* 3 (/ (+ (/ 1 (sqrt -6)) (* 1/2 (/ 1 (pow (sqrt -6) 3)))) (pow v 4))) (* 3 (/ (- (sqrt -6) (/ 1 (sqrt -6))) (pow v 2))))))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (* (pow v 3) (+ (* -3 (sqrt -6)) (+ (* -3 (/ (+ (* 1/2 (/ 1 (pow (sqrt -6) 3))) (* 1/2 (/ 1 (pow (sqrt -6) 5)))) (pow v 6))) (+ (* 3 (/ (+ (/ 1 (sqrt -6)) (* 1/2 (/ 1 (pow (sqrt -6) 3)))) (pow v 4))) (* 3 (/ (- (sqrt -6) (/ 1 (sqrt -6))) (pow v 2)))))))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (* 4/3 (/ (sqrt -1/6) (* (pow v 3) (PI))))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (* -1 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2)))) (pow v 3)))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (* -1 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))))) (pow v 4))))) (pow v 3)))))
#s(approx (/ 4 (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))))) #s(hole binary64 (* -1 (/ (+ (* -4/3 (/ (sqrt -1/6) (PI))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (* 1/36 (/ 1 (* (PI) (sqrt -1/6))))) (pow v 2))) (+ (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))))) (pow v 4))) (* 4/3 (/ (+ (* -1 (/ (sqrt -1/6) (PI))) (+ (* 1/36 (/ 1 (* (PI) (sqrt -1/6)))) (+ (* 1/2 (/ (+ 1/162 (* 1/36 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6)))) (* 1/2 (/ (+ 1/54 (* 1/1296 (/ 1 (pow (sqrt -1/6) 2)))) (* (PI) (sqrt -1/6))))))) (pow v 6)))))) (pow v 3)))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (* 3 (* (pow v 3) (* (PI) (sqrt -6))))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (* -1 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))))))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (* -1 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (+ (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))) (* 3 (/ (+ (* 1/2 (/ (PI) (pow (sqrt -6) 3))) (/ (PI) (sqrt -6))) (pow v 4)))))))))
#s(approx (* (PI) (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1)))) #s(hole binary64 (* -1 (* (pow v 3) (+ (* -3 (* (PI) (sqrt -6))) (+ (* 3 (/ (+ (* -1 (/ (PI) (sqrt -6))) (* (PI) (sqrt -6))) (pow v 2))) (+ (* 3 (/ (+ (* -1/2 (/ (PI) (pow (sqrt -6) 3))) (* -1/2 (/ (PI) (pow (sqrt -6) 5)))) (pow v 6))) (* 3 (/ (+ (* 1/2 (/ (PI) (pow (sqrt -6) 3))) (/ (PI) (sqrt -6))) (pow v 4))))))))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (* 3 (* (pow v 3) (sqrt -6)))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (* -1 (* (pow v 3) (+ (* -3 (sqrt -6)) (* 3 (/ (- (sqrt -6) (/ 1 (sqrt -6))) (pow v 2))))))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (* -1 (* (pow v 3) (+ (* -3 (sqrt -6)) (+ (* 3 (/ (+ (/ 1 (sqrt -6)) (* 1/2 (/ 1 (pow (sqrt -6) 3)))) (pow v 4))) (* 3 (/ (- (sqrt -6) (/ 1 (sqrt -6))) (pow v 2)))))))))
#s(approx (* 3 (* (sqrt (- 2 (* (* 6 v) v))) (+ (* (neg v) v) 1))) #s(hole binary64 (* -1 (* (pow v 3) (+ (* -3 (sqrt -6)) (+ (* -3 (/ (+ (* 1/2 (/ 1 (pow (sqrt -6) 3))) (* 1/2 (/ 1 (pow (sqrt -6) 5)))) (pow v 6))) (+ (* 3 (/ (+ (/ 1 (sqrt -6)) (* 1/2 (/ 1 (pow (sqrt -6) 3)))) (pow v 4))) (* 3 (/ (- (sqrt -6) (/ 1 (sqrt -6))) (pow v 2))))))))))

rewrite64.0ms (1.2%)

Memory

18.5MiB live, 112.2MiB allocated; 7ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	24	88
1	34	88
2	38	88
3	43	82
4	45	82
5	47	79
6	49	73
7	51	73
8	53	71
9	55	71
0	55	71
1	128	68
0	761	68
1	989	68
2	1310	68
3	1564	68
4	1653	68
5	1678	68
6	1682	68

Stop Event

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

Counts

5 → 58

Calls

Call 1

Inputs
(/.f64 #s(literal 4 binary64) (.f64 (PI.f64) (.f64 #s(literal 3 binary64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))))))
(.f64 (PI.f64) (.f64 #s(literal 3 binary64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64)))))
(PI.f64)
(.f64 #s(literal 3 binary64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))))
(.f64 (.f64 #s(literal 6 binary64) v) v)

Outputs
(.f64 (/.f64 #s(literal 2 binary64) (.f64 #s(literal 3 binary64) (PI.f64))) (/.f64 #s(literal 2 binary64) (.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 v #s(literal 6 binary64)) v))))))
(.f64 (/.f64 #s(literal 2 binary64) (.f64 (.f64 #s(literal 3 binary64) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 v #s(literal 6 binary64)) v))))) (/.f64 #s(literal 2 binary64) (PI.f64)))
(.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) (/.f64 #s(literal 2 binary64) (.f64 (.f64 #s(literal 3 binary64) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 v #s(literal 6 binary64)) v))))))
(.f64 #s(literal 2 binary64) (/.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))))))
(/.f64 (/.f64 (/.f64 #s(literal 4 binary64) (PI.f64)) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 v #s(literal 6 binary64)) v))) #s(literal 3 binary64))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64)))
(/.f64 (/.f64 (/.f64 #s(literal 4 binary64) (PI.f64)) (.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 v #s(literal 6 binary64)) v))))) #s(literal 3 binary64))
(/.f64 (/.f64 (/.f64 #s(literal 4 binary64) (PI.f64)) #s(literal 3 binary64)) (.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 v #s(literal 6 binary64)) v)))))
(/.f64 (/.f64 #s(literal 4 binary64) (.f64 #s(literal 3 binary64) (PI.f64))) (.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v)))))
(/.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 #s(literal 3 binary64) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))))) (PI.f64))
(/.f64 (neg.f64 (/.f64 #s(literal 4 binary64) (PI.f64))) (neg.f64 (.f64 (.f64 #s(literal 3 binary64) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))))))
(/.f64 (/.f64 #s(literal 4 binary64) (PI.f64)) (.f64 (.f64 #s(literal 3 binary64) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v)))))
(/.f64 #s(literal 4 binary64) (neg.f64 (.f64 (neg.f64 (PI.f64)) (.f64 (.f64 #s(literal 3 binary64) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 v #s(literal 6 binary64)) v)))))))
(/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 v #s(literal 6 binary64)) v)))))
(neg.f64 (/.f64 #s(literal 4 binary64) (.f64 (neg.f64 (PI.f64)) (.f64 (.f64 #s(literal 3 binary64) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 v #s(literal 6 binary64)) v)))))))
(.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 v #s(literal 6 binary64)) v))))
(.f64 (.f64 (.f64 (.f64 #s(literal 3 binary64) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v)))) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64)))
(.f64 (.f64 (.f64 (.f64 #s(literal 3 binary64) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v)))) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64))) (cbrt.f64 (PI.f64)))
(.f64 (.f64 (PI.f64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 v #s(literal 6 binary64)) v))) #s(literal 3 binary64))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64)))
(.f64 (.f64 (PI.f64) (.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 v #s(literal 6 binary64)) v))))) #s(literal 3 binary64))
(.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) (.f64 (.f64 #s(literal 3 binary64) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))))))
(.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) (.f64 (cbrt.f64 (PI.f64)) (.f64 (.f64 #s(literal 3 binary64) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))))))
(.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 v #s(literal 6 binary64)) v)))))
(.f64 (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))) #s(literal 3 binary64)) (*.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) (PI.f64)))
(.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 v #s(literal 6 binary64)) v)))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64)))
(.f64 (.f64 (.f64 #s(literal 3 binary64) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 v #s(literal 6 binary64)) v)))) (PI.f64))
(.f64 (.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v)))) (*.f64 #s(literal 3 binary64) (PI.f64)))
(.f64 #s(literal 3 binary64) (.f64 (.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 v #s(literal 6 binary64)) v)))) (PI.f64)))
(.f64 (PI.f64) (.f64 (.f64 #s(literal 3 binary64) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 v #s(literal 6 binary64)) v)))))
(fma.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (.f64 (.f64 (neg.f64 v) v) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v)))) (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 v #s(literal 6 binary64)) v)))))
(fma.f64 (.f64 (.f64 (neg.f64 v) v) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v)))) (.f64 #s(literal 3 binary64) (PI.f64)) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))) (*.f64 #s(literal 3 binary64) (PI.f64))))
(+.f64 (.f64 (.f64 (.f64 (neg.f64 v) v) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v)))) (.f64 #s(literal 3 binary64) (PI.f64))) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))) (.f64 #s(literal 3 binary64) (PI.f64))))
(+.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (.f64 (.f64 (neg.f64 v) v) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))))) (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v)))))
(log.f64 (pow.f64 (exp.f64 (PI.f64)) (.f64 (.f64 #s(literal 3 binary64) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))))))
(PI.f64)
(.f64 (.f64 #s(literal 3 binary64) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))))
(.f64 (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))) #s(literal 3 binary64)) (fma.f64 (neg.f64 v) v #s(literal 1 binary64)))
(.f64 (.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v)))) #s(literal 3 binary64))
(.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))) #s(literal 3 binary64)))
(.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))) (.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) #s(literal 3 binary64)))
(.f64 #s(literal 3 binary64) (.f64 (fma.f64 (neg.f64 v) v #s(literal 1 binary64)) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v)))))
(/.f64 (.f64 (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))) #s(literal 3 binary64)) (-.f64 (pow.f64 (.f64 (neg.f64 v) v) #s(literal 2 binary64)) #s(literal 1 binary64))) (-.f64 (.f64 (neg.f64 v) v) #s(literal 1 binary64)))
(/.f64 (.f64 (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))) #s(literal 3 binary64)) (+.f64 (pow.f64 (.f64 (neg.f64 v) v) #s(literal 3 binary64)) #s(literal 1 binary64))) (fma.f64 (.f64 v v) (.f64 v v) (-.f64 #s(literal 1 binary64) (.f64 (neg.f64 v) v))))
(fma.f64 (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))) #s(literal 3 binary64)) (.f64 (neg.f64 v) v) (.f64 (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))) #s(literal 3 binary64)) #s(literal 1 binary64)))
(fma.f64 (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))) #s(literal 3 binary64)) #s(literal 1 binary64) (.f64 (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))) #s(literal 3 binary64)) (.f64 (neg.f64 v) v)))
(fma.f64 (.f64 (.f64 (neg.f64 v) v) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v)))) #s(literal 3 binary64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 v #s(literal 6 binary64)) v))) #s(literal 3 binary64)))
(fma.f64 (.f64 (neg.f64 v) v) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))) #s(literal 3 binary64)) (.f64 #s(literal 1 binary64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))) #s(literal 3 binary64))))
(fma.f64 #s(literal 1 binary64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))) #s(literal 3 binary64)) (.f64 (.f64 (neg.f64 v) v) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))) #s(literal 3 binary64))))
(fma.f64 #s(literal 3 binary64) (.f64 (.f64 (neg.f64 v) v) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v)))) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 v #s(literal 6 binary64)) v))) #s(literal 3 binary64)))
(+.f64 (.f64 (.f64 (neg.f64 v) v) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))) #s(literal 3 binary64))) (.f64 #s(literal 1 binary64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 v #s(literal 6 binary64)) v))) #s(literal 3 binary64))))
(+.f64 (.f64 #s(literal 1 binary64) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))) #s(literal 3 binary64))) (.f64 (.f64 (neg.f64 v) v) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 v #s(literal 6 binary64)) v))) #s(literal 3 binary64))))
(+.f64 (.f64 (.f64 (.f64 (neg.f64 v) v) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v)))) #s(literal 3 binary64)) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))) #s(literal 3 binary64)))
(+.f64 (.f64 (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))) #s(literal 3 binary64)) (.f64 (neg.f64 v) v)) (.f64 (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (*.f64 v #s(literal 6 binary64)) v))) #s(literal 3 binary64)) #s(literal 1 binary64)))
(+.f64 (.f64 (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))) #s(literal 3 binary64)) #s(literal 1 binary64)) (.f64 (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))) #s(literal 3 binary64)) (*.f64 (neg.f64 v) v)))
(+.f64 (.f64 #s(literal 3 binary64) (.f64 (.f64 (neg.f64 v) v) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))))) (.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 (.f64 v #s(literal 6 binary64)) v))) #s(literal 3 binary64)))
(.f64 (.f64 v v) #s(literal 6 binary64))
(.f64 (.f64 v #s(literal 6 binary64)) v)
(.f64 v (.f64 v #s(literal 6 binary64)))
(.f64 #s(literal 6 binary64) (.f64 v v))

eval7.0ms (0.1%)

Memory: 18.8MiB live, 18.8MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 399 to 213 computations (84.8% saved)

prune12.0ms (0.2%)

Memory

-24.4MiB live, 26.7MiB allocated; 3ms collecting garbage

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	58	0	58
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	58	2	60

Accuracy

100.0%

Counts

60 → 2

Alt Table

Click to see full alt table

Status

Accuracy

Program

✓

98.4%

(/.f64 #s(literal 4 binary64) (*.f64 (*.f64 (*.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (*.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (*.f64 #s(literal 6 binary64) (*.f64 v v))))))

✓

100.0%

(/.f64 #s(literal 4 binary64) (*.f64 (PI.f64) (*.f64 #s(literal 3 binary64) (*.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (*.f64 (*.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))))))

Compiler

Compiled 80 to 59 computations (26.3% saved)

regimes5.0ms (0.1%)

Memory

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

Accuracy

Total -1.0b remaining (-25400%)

Threshold costs -1b (-25400%)

Counts

2 → 1

Calls

Call 1

Inputs

(/.f64 #s(literal 4 binary64) (*.f64 (PI.f64) (*.f64 #s(literal 3 binary64) (*.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (*.f64 (*.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))))))

(/.f64 #s(literal 4 binary64) (*.f64 (*.f64 (*.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (*.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (*.f64 #s(literal 6 binary64) (*.f64 v v))))))

Outputs

(/.f64 #s(literal 4 binary64) (*.f64 (PI.f64) (*.f64 #s(literal 3 binary64) (*.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (*.f64 (*.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))))))

Calls

4 calls:

1.0ms	v
1.0ms	(*.f64 v v)
1.0ms	(/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v))))))
1.0ms	(.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v)))))

Results

Accuracy	Segments	Branch
100.0%	1	`(*.f64 v v)`
100.0%	1	`(.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v)))))`
100.0%	1	`(/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 #s(literal 3 binary64) (PI.f64)) (-.f64 #s(literal 1 binary64) (.f64 v v))) (sqrt.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 6 binary64) (.f64 v v))))))`
100.0%	1	`v`

Compiler

Compiled 42 to 33 computations (21.4% saved)

simplify33.0ms (0.6%)

Memory

-26.6MiB live, 68.2MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	30
1	46	30
2	63	30
3	88	30
4	237	30
5	2169	30

Stop Event

1×	node limit

Calls

Call 1

Inputs

(/.f64 #s(literal 4 binary64) (*.f64 (PI.f64) (*.f64 #s(literal 3 binary64) (*.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (*.f64 (*.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))))))

Outputs

(/.f64 #s(literal 4 binary64) (*.f64 (PI.f64) (*.f64 #s(literal 3 binary64) (*.f64 (sqrt.f64 (-.f64 #s(literal 2 binary64) (*.f64 (*.f64 #s(literal 6 binary64) v) v))) (fma.f64 (neg.f64 v) v #s(literal 1 binary64))))))

derivations6.0ms (0.1%)

Memory

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

Stop Event

1×

done

Compiler

Compiled 20 to 17 computations (15% saved)

preprocess16.0ms (0.3%)

Memory: -6.3MiB live, 40.8MiB allocated; 3ms collecting garbage
Remove: (abs v)
Compiler: Compiled 120 to 100 computations (16.7% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze4.0ms (0.1%)

sample2.7s (51.4%)

explain244.0ms (4.7%)

preprocess160.0ms (3.1%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify120.0ms (2.3%)

localize578.0ms (11.1%)

series31.0ms (0.6%)

simplify463.0ms (8.9%)

rewrite84.0ms (1.6%)

eval7.0ms (0.1%)

prune3.0ms (0.1%)

simplify104.0ms (2%)

localize84.0ms (1.6%)

series7.0ms (0.1%)

simplify499.0ms (9.6%)

rewrite64.0ms (1.2%)

eval7.0ms (0.1%)

prune12.0ms (0.2%)

regimes5.0ms (0.1%)

simplify33.0ms (0.6%)

derivations6.0ms (0.1%)

preprocess16.0ms (0.3%)

end0.0ms (0%)

Profiling