Metrics for Falkner and Boettcher, Equation (20:1,3)

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze57.0ms (3.2%)

Memory

14.4MiB live, 89.5MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	50%	0.1%	0%	50%	0%	4
0%	0%	50%	0.1%	0%	50%	0%	5
37.5%	18.7%	31.2%	0.1%	0%	50%	0%	6
43.8%	21.9%	28.1%	0.1%	0%	50%	0%	7
65.6%	32.8%	17.2%	0.1%	0%	50%	0%	8
70.3%	35.1%	14.8%	0.1%	0%	50%	0%	9
82%	41%	9%	0.1%	0%	50%	0%	10
84.8%	42.3%	7.6%	0.1%	0%	50%	0%	11
90.8%	45.4%	4.6%	0.1%	0%	50%	0%	12

Compiler

Compiled 30 to 21 computations (30% saved)

sample1.2s (66.3%)

Memory

-46.8MiB live, 2 180.5MiB allocated

Samples

850.0ms	8 256×	0	valid
1.0ms	6×	0	invalid

Precisions

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

ival-mult: 362.0ms (55.4% of total)

ival-sub: 126.0ms (19.3% of total)

ival-sqrt: 62.0ms (9.5% of total)

ival-div: 52.0ms (8% of total)

ival-pi: 29.0ms (4.4% of total)

exact: 14.0ms (2.1% of total)

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

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

Bogosity

explain210.0ms (11.6%)

Memory

-3.5MiB live, 441.3MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Example	Subexpression
1	0	-	-	`(/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (*.f64 v v))))`
0	1	(1.3901977367604803e-162 -83974272573803820.0)	-	`(.f64 #s(literal 5 binary64) (.f64 v v))`
0	0	-	-	`(.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (*.f64 v v))))))`
0	0	-	-	`#s(literal 3 binary64)`
0	0	-	-	`#s(literal 1 binary64)`
0	0	-	-	`t`
0	0	-	-	`#s(literal 5 binary64)`
0	0	-	-	`(-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))`
0	0	-	-	`v`
0	0	-	-	`(-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))`
0	0	-	-	`(PI.f64)`
0	0	-	-	`(*.f64 (PI.f64) t)`
0	0	-	-	`(.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (*.f64 v v))))`
0	0	-	-	`(*.f64 v v)`
0	1	(1.3901977367604803e-162 -83974272573803820.0)	-	`(.f64 #s(literal 3 binary64) (.f64 v v))`
0	0	-	-	`(.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (*.f64 v v)))`
0	0	-	-	`#s(literal 2 binary64)`
0	0	-	-	`(-.f64 #s(literal 1 binary64) (*.f64 v v))`
0	0	-	-	`(sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (*.f64 v v)))))`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (*.f64 v v))))`	n/o	1	0
↳	`(.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (*.f64 v v)))`	overflow	1
↳	`(.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (*.f64 v v))))))`	overflow	1
↳	`(*.f64 (PI.f64) t)`	overflow	1

Confusion

	Predicted +	Predicted -
+	1	0
-	0	255

Precision

1.0

Recall

1.0

Confusion?

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

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	255
1	1

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

61.0ms

512×

valid

Compiler

Compiled 401 to 80 computations (80% saved)

Precisions

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

ival-mult: 21.0ms (55.5% of total)

ival-sub: 7.0ms (18.5% of total)

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

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

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

exact: 1.0ms (2.6% of total)

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

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

preprocess3.0ms (0.1%)

Memory

7.5MiB live, 7.5MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs

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

Outputs

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

Compiler

Compiled 28 to 19 computations (32.1% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

1.3MiB live, 1.3MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.1%	(/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (*.f64 v v))))

Status

Accuracy

Program

▶

99.1%

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

Compiler

Compiled 28 to 19 computations (32.1% saved)

simplify1.0ms (0%)

Memory

2.1MiB live, 2.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Calls

Call 1

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

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

localize43.0ms (2.4%)

Memory

24.4MiB live, 61.9MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.1640625	(.f64 #s(literal 3 binary64) (.f64 v v))
accuracy	0.265625	(*.f64 (PI.f64) t)
accuracy	0.4850387695368841	(.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (*.f64 v v))))))
accuracy	0.49967069577786105	(/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (*.f64 v v))))

Samples

32.0ms

256×

valid

Compiler

Compiled 248 to 40 computations (83.9% saved)

Precisions

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

ival-mult: 10.0ms (54.4% of total)

ival-sub: 3.0ms (16.3% of total)

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

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

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

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

exact: 0.0ms (0% of total)

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

series26.0ms (1.4%)

Memory

-7.9MiB live, 28.9MiB allocated

Counts

7 → 34

Calls

Call 1

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

Outputs
(/ 1 (* t (* (PI) (sqrt 2))))
(+ (* -5/2 (/ (pow v 2) (* t (* (PI) (sqrt 2))))) (/ 1 (* t (* (PI) (sqrt 2)))))
(+ (* (pow v 2) (- (* -53/8 (/ (pow v 2) (* t (* (PI) (sqrt 2))))) (* 5/2 (/ 1 (* t (* (PI) (sqrt 2))))))) (/ 1 (* t (* (PI) (sqrt 2)))))
(+ (* (pow v 2) (- (* (pow v 2) (- (* (pow v 2) (- (* 135/16 (/ 1 (* t (* (PI) (sqrt 2))))) (* 47/2 (/ 1 (* t (* (PI) (sqrt 2))))))) (* 53/8 (/ 1 (* t (* (PI) (sqrt 2))))))) (* 5/2 (/ 1 (* t (* (PI) (sqrt 2))))))) (/ 1 (* t (* (PI) (sqrt 2)))))
1
(+ 1 (* -5 (pow v 2)))
(* 5 (pow v 2))
(pow v 2)
(* t (* (PI) (sqrt 2)))
(+ (* -3/2 (* t (* (pow v 2) (* (PI) (sqrt 2))))) (* t (* (PI) (sqrt 2))))
(+ (* t (* (PI) (sqrt 2))) (* (pow v 2) (+ (* -3/2 (* t (* (PI) (sqrt 2)))) (* -9/8 (* t (* (pow v 2) (* (PI) (sqrt 2))))))))
(+ (* t (* (PI) (sqrt 2))) (* (pow v 2) (+ (* -3/2 (* t (* (PI) (sqrt 2)))) (* (pow v 2) (+ (* -27/16 (* t (* (pow v 2) (* (PI) (sqrt 2))))) (* -9/8 (* t (* (PI) (sqrt 2)))))))))
(* 3 (pow v 2))
(* 5 (/ (sqrt -1/3) (* t (* v (* (PI) (sqrt 2))))))
(/ (- (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2)))))) (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) v)
(/ (- (+ (* -5/2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 4) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2)))))))) (+ (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (* 2/9 (/ 1 (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))))) v)
(/ (- (+ (* -5/2 (/ (+ 1/81 (* 1/18 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (pow (sqrt -1/3) 2)))) (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* -5/2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* -2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 4) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 6) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2))))))))))) (+ (/ 2/9 (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (+ (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (* 2/9 (/ 1 (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2)))))))))) v)
(* -5 (pow v 2))
(* (pow v 2) (- (/ 1 (pow v 2)) 5))
(* t (* v (* (PI) (* (sqrt -3) (sqrt 2)))))
(* v (+ (* 1/2 (/ (* t (* (PI) (sqrt 2))) (* (pow v 2) (sqrt -3)))) (* t (* (PI) (* (sqrt -3) (sqrt 2))))))
(* v (+ (* -1/8 (/ (* t (* (PI) (sqrt 2))) (* (pow v 4) (pow (sqrt -3) 3)))) (+ (* 1/2 (/ (* t (* (PI) (sqrt 2))) (* (pow v 2) (sqrt -3)))) (* t (* (PI) (* (sqrt -3) (sqrt 2)))))))
(* v (+ (* -1/8 (/ (* t (* (PI) (sqrt 2))) (* (pow v 4) (pow (sqrt -3) 3)))) (+ (* 1/16 (/ (* t (* (PI) (sqrt 2))) (* (pow v 6) (pow (sqrt -3) 5)))) (+ (* 1/2 (/ (* t (* (PI) (sqrt 2))) (* (pow v 2) (sqrt -3)))) (* t (* (PI) (* (sqrt -3) (sqrt 2))))))))
(* -5 (/ (sqrt -1/3) (* t (* v (* (PI) (sqrt 2))))))
(* -1 (/ (- (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2)))))) (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) v))
(* -1 (/ (- (+ (* -5/2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 4) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2)))))))) (+ (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (* 2/9 (/ 1 (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))))) v))
(* -1 (/ (- (+ (* -5/2 (/ (+ 1/81 (* 1/18 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (pow (sqrt -1/3) 2)))) (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* -5/2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* -2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 4) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 6) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2))))))))))) (+ (/ 2/9 (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (+ (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (* 2/9 (/ 1 (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2)))))))))) v))
(* -1 (* t (* v (* (PI) (* (sqrt -3) (sqrt 2))))))
(* -1 (* v (+ (* 1/2 (/ (* t (* (PI) (sqrt 2))) (* (pow v 2) (sqrt -3)))) (* t (* (PI) (* (sqrt -3) (sqrt 2)))))))
(* -1 (* v (+ (* -1/8 (/ (* t (* (PI) (sqrt 2))) (* (pow v 4) (pow (sqrt -3) 3)))) (+ (* 1/2 (/ (* t (* (PI) (sqrt 2))) (* (pow v 2) (sqrt -3)))) (* t (* (PI) (* (sqrt -3) (sqrt 2))))))))
(* -1 (* v (+ (* -1/8 (/ (* t (* (PI) (sqrt 2))) (* (pow v 4) (pow (sqrt -3) 3)))) (+ (* 1/16 (/ (* t (* (PI) (sqrt 2))) (* (pow v 6) (pow (sqrt -3) 5)))) (+ (* 1/2 (/ (* t (* (PI) (sqrt 2))) (* (pow v 2) (sqrt -3)))) (* t (* (PI) (* (sqrt -3) (sqrt 2)))))))))
(* (/ (- 1 (* 5 (pow v 2))) (* t (* (PI) (* (sqrt 2) (- 1 (pow v 2)))))) (sqrt (/ 1 (- 1 (* 3 (pow v 2))))))
(* (* t (* (PI) (sqrt 2))) (sqrt (- 1 (* 3 (pow v 2)))))
(* t (PI))

Calls

6 calls:

Time	Variable		Point	Expression
7.0ms	v	@	0	((/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (* 5 (* v v)) (* v v) (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (* (PI) t) (* 3 (* v v)))
5.0ms	t	@	0	((/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (* 5 (* v v)) (* v v) (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (* (PI) t) (* 3 (* v v)))
5.0ms	v	@	inf	((/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (* 5 (* v v)) (* v v) (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (* (PI) t) (* 3 (* v v)))
3.0ms	t	@	-inf	((/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (* 5 (* v v)) (* v v) (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (* (PI) t) (* 3 (* v v)))
3.0ms	t	@	inf	((/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (* 5 (* v v)) (* v v) (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (* (PI) t) (* 3 (* v v)))

simplify1.0ms (0.1%)

Memory

1.7MiB live, 1.7MiB allocated

Algorithm

1×	egg-herbie

Counts

34 → 7

Calls

Call 1

Inputs
(/ 1 (* t (* (PI) (sqrt 2))))
(+ (* -5/2 (/ (pow v 2) (* t (* (PI) (sqrt 2))))) (/ 1 (* t (* (PI) (sqrt 2)))))
(+ (* (pow v 2) (- (* -53/8 (/ (pow v 2) (* t (* (PI) (sqrt 2))))) (* 5/2 (/ 1 (* t (* (PI) (sqrt 2))))))) (/ 1 (* t (* (PI) (sqrt 2)))))
(+ (* (pow v 2) (- (* (pow v 2) (- (* (pow v 2) (- (* 135/16 (/ 1 (* t (* (PI) (sqrt 2))))) (* 47/2 (/ 1 (* t (* (PI) (sqrt 2))))))) (* 53/8 (/ 1 (* t (* (PI) (sqrt 2))))))) (* 5/2 (/ 1 (* t (* (PI) (sqrt 2))))))) (/ 1 (* t (* (PI) (sqrt 2)))))
1
(+ 1 (* -5 (pow v 2)))
(* 5 (pow v 2))
(pow v 2)
(* t (* (PI) (sqrt 2)))
(+ (* -3/2 (* t (* (pow v 2) (* (PI) (sqrt 2))))) (* t (* (PI) (sqrt 2))))
(+ (* t (* (PI) (sqrt 2))) (* (pow v 2) (+ (* -3/2 (* t (* (PI) (sqrt 2)))) (* -9/8 (* t (* (pow v 2) (* (PI) (sqrt 2))))))))
(+ (* t (* (PI) (sqrt 2))) (* (pow v 2) (+ (* -3/2 (* t (* (PI) (sqrt 2)))) (* (pow v 2) (+ (* -27/16 (* t (* (pow v 2) (* (PI) (sqrt 2))))) (* -9/8 (* t (* (PI) (sqrt 2)))))))))
(* 3 (pow v 2))
(* 5 (/ (sqrt -1/3) (* t (* v (* (PI) (sqrt 2))))))
(/ (- (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2)))))) (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) v)
(/ (- (+ (* -5/2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 4) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2)))))))) (+ (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (* 2/9 (/ 1 (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))))) v)
(/ (- (+ (* -5/2 (/ (+ 1/81 (* 1/18 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (pow (sqrt -1/3) 2)))) (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* -5/2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* -2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 4) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 6) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2))))))))))) (+ (/ 2/9 (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (+ (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (* 2/9 (/ 1 (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2)))))))))) v)
(* -5 (pow v 2))
(* (pow v 2) (- (/ 1 (pow v 2)) 5))
(* t (* v (* (PI) (* (sqrt -3) (sqrt 2)))))
(* v (+ (* 1/2 (/ (* t (* (PI) (sqrt 2))) (* (pow v 2) (sqrt -3)))) (* t (* (PI) (* (sqrt -3) (sqrt 2))))))
(* v (+ (* -1/8 (/ (* t (* (PI) (sqrt 2))) (* (pow v 4) (pow (sqrt -3) 3)))) (+ (* 1/2 (/ (* t (* (PI) (sqrt 2))) (* (pow v 2) (sqrt -3)))) (* t (* (PI) (* (sqrt -3) (sqrt 2)))))))
(* v (+ (* -1/8 (/ (* t (* (PI) (sqrt 2))) (* (pow v 4) (pow (sqrt -3) 3)))) (+ (* 1/16 (/ (* t (* (PI) (sqrt 2))) (* (pow v 6) (pow (sqrt -3) 5)))) (+ (* 1/2 (/ (* t (* (PI) (sqrt 2))) (* (pow v 2) (sqrt -3)))) (* t (* (PI) (* (sqrt -3) (sqrt 2))))))))
(* -5 (/ (sqrt -1/3) (* t (* v (* (PI) (sqrt 2))))))
(* -1 (/ (- (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2)))))) (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) v))
(* -1 (/ (- (+ (* -5/2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 4) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2)))))))) (+ (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (* 2/9 (/ 1 (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))))) v))
(* -1 (/ (- (+ (* -5/2 (/ (+ 1/81 (* 1/18 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (pow (sqrt -1/3) 2)))) (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* -5/2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* -2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 4) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 6) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2))))))))))) (+ (/ 2/9 (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (+ (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (* 2/9 (/ 1 (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2)))))))))) v))
(* -1 (* t (* v (* (PI) (* (sqrt -3) (sqrt 2))))))
(* -1 (* v (+ (* 1/2 (/ (* t (* (PI) (sqrt 2))) (* (pow v 2) (sqrt -3)))) (* t (* (PI) (* (sqrt -3) (sqrt 2)))))))
(* -1 (* v (+ (* -1/8 (/ (* t (* (PI) (sqrt 2))) (* (pow v 4) (pow (sqrt -3) 3)))) (+ (* 1/2 (/ (* t (* (PI) (sqrt 2))) (* (pow v 2) (sqrt -3)))) (* t (* (PI) (* (sqrt -3) (sqrt 2))))))))
(* -1 (* v (+ (* -1/8 (/ (* t (* (PI) (sqrt 2))) (* (pow v 4) (pow (sqrt -3) 3)))) (+ (* 1/16 (/ (* t (* (PI) (sqrt 2))) (* (pow v 6) (pow (sqrt -3) 5)))) (+ (* 1/2 (/ (* t (* (PI) (sqrt 2))) (* (pow v 2) (sqrt -3)))) (* t (* (PI) (* (sqrt -3) (sqrt 2)))))))))
(* (/ (- 1 (* 5 (pow v 2))) (* t (* (PI) (* (sqrt 2) (- 1 (pow v 2)))))) (sqrt (/ 1 (- 1 (* 3 (pow v 2))))))
(* (* t (* (PI) (sqrt 2))) (sqrt (- 1 (* 3 (pow v 2)))))
(* t (PI))

Outputs
(/ 1 (* t (* (PI) (sqrt 2))))
(/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (*.f64 v v))))
(+ (* -5/2 (/ (pow v 2) (* t (* (PI) (sqrt 2))))) (/ 1 (* t (* (PI) (sqrt 2)))))
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))
(+ (* (pow v 2) (- (* -53/8 (/ (pow v 2) (* t (* (PI) (sqrt 2))))) (* 5/2 (/ 1 (* t (* (PI) (sqrt 2))))))) (/ 1 (* t (* (PI) (sqrt 2)))))
(.f64 #s(literal 5 binary64) (.f64 v v))
(+ (* (pow v 2) (- (* (pow v 2) (- (* (pow v 2) (- (* 135/16 (/ 1 (* t (* (PI) (sqrt 2))))) (* 47/2 (/ 1 (* t (* (PI) (sqrt 2))))))) (* 53/8 (/ 1 (* t (* (PI) (sqrt 2))))))) (* 5/2 (/ 1 (* t (* (PI) (sqrt 2))))))) (/ 1 (* t (* (PI) (sqrt 2)))))
(*.f64 v v)
1
(.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (*.f64 v v))))))
(+ 1 (* -5 (pow v 2)))
(*.f64 (PI.f64) t)
(* 5 (pow v 2))
(.f64 #s(literal 3 binary64) (.f64 v v))

rewrite0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Counts

7 → 7

Calls

Call 1

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

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

eval2.0ms (0.1%)

Memory: 3.1MiB live, 3.1MiB allocated
Compiler: Compiled 520 to 47 computations (91% saved)

prune3.0ms (0.2%)

Memory

5.3MiB live, 5.3MiB allocated

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	12	4	16
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	12	5	17

Accuracy

99.1%

Counts

17 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.1%	(/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (*.f64 v v))))
▶	3.4%	(/.f64 #s(approx (- 1 (* 5 (* v v))) (.f64 (PI.f64) t)) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (.f64 v v))))
▶	3.5%	#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
▶	3.5%	#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (*.f64 v v))
▶	3.5%	#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (.f64 #s(literal 5 binary64) (.f64 v v)))

Compiler

Compiled 162 to 110 computations (32.1% saved)

simplify1.0ms (0.1%)

Memory

1.7MiB live, 1.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 13 expressions of interest:

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

Calls

Call 1

Inputs
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (.f64 #s(literal 5 binary64) (.f64 v v)))
(.f64 #s(literal 5 binary64) (.f64 v v))
#s(literal 5 binary64)
(*.f64 v v)
v
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (*.f64 v v))
(*.f64 v v)
v
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))
#s(literal 1 binary64)
(.f64 #s(literal 5 binary64) (.f64 v v))
#s(literal 5 binary64)
(*.f64 v v)
v
(/.f64 #s(approx (- 1 (* 5 (* v v))) (.f64 (PI.f64) t)) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (.f64 v v))))
#s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))
(*.f64 (PI.f64) t)
(PI.f64)
t
(.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (*.f64 v v)))
(.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (*.f64 v v))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (*.f64 v v)))))
(.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (*.f64 v v))))
#s(literal 2 binary64)
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))
#s(literal 1 binary64)
(.f64 #s(literal 3 binary64) (.f64 v v))
#s(literal 3 binary64)
(*.f64 v v)
v
(-.f64 #s(literal 1 binary64) (*.f64 v v))

Outputs
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (.f64 #s(literal 5 binary64) (.f64 v v)))
(.f64 #s(literal 5 binary64) (.f64 v v))
#s(literal 5 binary64)
(*.f64 v v)
v
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (*.f64 v v))
(*.f64 v v)
v
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))
#s(literal 1 binary64)
(.f64 #s(literal 5 binary64) (.f64 v v))
#s(literal 5 binary64)
(*.f64 v v)
v
(/.f64 #s(approx (- 1 (* 5 (* v v))) (.f64 (PI.f64) t)) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (.f64 v v))))
#s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))
(*.f64 (PI.f64) t)
(PI.f64)
t
(.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (*.f64 v v)))
(.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (*.f64 v v))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (*.f64 v v)))))
(.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (*.f64 v v))))
#s(literal 2 binary64)
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))
#s(literal 1 binary64)
(.f64 #s(literal 3 binary64) (.f64 v v))
#s(literal 3 binary64)
(*.f64 v v)
v
(-.f64 #s(literal 1 binary64) (*.f64 v v))

localize53.0ms (2.9%)

Memory

-10.9MiB live, 67.8MiB allocated

Localize:

Found 13 expressions of interest:

New	Metric	Score
accuracy	0.265625	(*.f64 (PI.f64) t)
accuracy	0.4850387695368841	(.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (*.f64 v v))))))
accuracy	0.49967069577786105	(/.f64 #s(approx (- 1 (* 5 (* v v))) (.f64 (PI.f64) t)) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (.f64 v v))))
accuracy	61.755360444691426	#s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))
accuracy	0.0	(-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))
accuracy	0.0	(*.f64 v v)
accuracy	0.14585878907376806	(.f64 #s(literal 5 binary64) (.f64 v v))
accuracy	61.78063674555608	#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
accuracy	0.0	(*.f64 v v)
accuracy	61.731066510831084	#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (*.f64 v v))
accuracy	0.0	(*.f64 v v)
accuracy	0.14585878907376806	(.f64 #s(literal 5 binary64) (.f64 v v))
accuracy	61.73032055040971	#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (.f64 #s(literal 5 binary64) (.f64 v v)))

Samples

34.0ms

256×

valid

Compiler

Compiled 494 to 61 computations (87.7% saved)

Precisions

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

ival-mult: 10.0ms (46.7% of total)

ival-div: 4.0ms (18.7% of total)

ival-sub: 3.0ms (14% of total)

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

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

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

exact: 0.0ms (0% of total)

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

series17.0ms (0.9%)

Memory

-7.4MiB live, 28.5MiB allocated

Counts

11 → 33

Calls

Call 1

Inputs
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (.f64 #s(literal 5 binary64) (.f64 v v)))
(.f64 #s(literal 5 binary64) (.f64 v v))
(*.f64 v v)
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (*.f64 v v))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))
(/.f64 #s(approx (- 1 (* 5 (* v v))) (.f64 (PI.f64) t)) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (.f64 v v))))
#s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))
(*.f64 (PI.f64) t)
(PI.f64)
(.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (*.f64 v v))))))

Outputs
(/ 1 (* t (* (PI) (sqrt 2))))
(+ (* -5/2 (/ (pow v 2) (* t (* (PI) (sqrt 2))))) (/ 1 (* t (* (PI) (sqrt 2)))))
(+ (* (pow v 2) (- (* -53/8 (/ (pow v 2) (* t (* (PI) (sqrt 2))))) (* 5/2 (/ 1 (* t (* (PI) (sqrt 2))))))) (/ 1 (* t (* (PI) (sqrt 2)))))
(+ (* (pow v 2) (- (* (pow v 2) (- (* (pow v 2) (- (* 135/16 (/ 1 (* t (* (PI) (sqrt 2))))) (* 47/2 (/ 1 (* t (* (PI) (sqrt 2))))))) (* 53/8 (/ 1 (* t (* (PI) (sqrt 2))))))) (* 5/2 (/ 1 (* t (* (PI) (sqrt 2))))))) (/ 1 (* t (* (PI) (sqrt 2)))))
(* 5 (pow v 2))
(pow v 2)
1
(+ 1 (* -5 (pow v 2)))
(* t (* (PI) (sqrt 2)))
(+ (* -3/2 (* t (* (pow v 2) (* (PI) (sqrt 2))))) (* t (* (PI) (sqrt 2))))
(+ (* t (* (PI) (sqrt 2))) (* (pow v 2) (+ (* -3/2 (* t (* (PI) (sqrt 2)))) (* -9/8 (* t (* (pow v 2) (* (PI) (sqrt 2))))))))
(+ (* t (* (PI) (sqrt 2))) (* (pow v 2) (+ (* -3/2 (* t (* (PI) (sqrt 2)))) (* (pow v 2) (+ (* -27/16 (* t (* (pow v 2) (* (PI) (sqrt 2))))) (* -9/8 (* t (* (PI) (sqrt 2)))))))))
(* 5 (/ (sqrt -1/3) (* t (* v (* (PI) (sqrt 2))))))
(/ (- (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2)))))) (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) v)
(/ (- (+ (* -5/2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 4) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2)))))))) (+ (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (* 2/9 (/ 1 (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))))) v)
(/ (- (+ (* -5/2 (/ (+ 1/81 (* 1/18 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (pow (sqrt -1/3) 2)))) (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* -5/2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* -2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 4) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 6) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2))))))))))) (+ (/ 2/9 (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (+ (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (* 2/9 (/ 1 (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2)))))))))) v)
(* -5 (pow v 2))
(* (pow v 2) (- (/ 1 (pow v 2)) 5))
(* t (* v (* (PI) (* (sqrt -3) (sqrt 2)))))
(* v (+ (* 1/2 (/ (* t (* (PI) (sqrt 2))) (* (pow v 2) (sqrt -3)))) (* t (* (PI) (* (sqrt -3) (sqrt 2))))))
(* v (+ (* -1/8 (/ (* t (* (PI) (sqrt 2))) (* (pow v 4) (pow (sqrt -3) 3)))) (+ (* 1/2 (/ (* t (* (PI) (sqrt 2))) (* (pow v 2) (sqrt -3)))) (* t (* (PI) (* (sqrt -3) (sqrt 2)))))))
(* v (+ (* -1/8 (/ (* t (* (PI) (sqrt 2))) (* (pow v 4) (pow (sqrt -3) 3)))) (+ (* 1/16 (/ (* t (* (PI) (sqrt 2))) (* (pow v 6) (pow (sqrt -3) 5)))) (+ (* 1/2 (/ (* t (* (PI) (sqrt 2))) (* (pow v 2) (sqrt -3)))) (* t (* (PI) (* (sqrt -3) (sqrt 2))))))))
(* -5 (/ (sqrt -1/3) (* t (* v (* (PI) (sqrt 2))))))
(* -1 (/ (- (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2)))))) (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) v))
(* -1 (/ (- (+ (* -5/2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 4) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2)))))))) (+ (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (* 2/9 (/ 1 (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))))) v))
(* -1 (/ (- (+ (* -5/2 (/ (+ 1/81 (* 1/18 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (pow (sqrt -1/3) 2)))) (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* -5/2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* -2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 4) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 6) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2))))))))))) (+ (/ 2/9 (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (+ (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (* 2/9 (/ 1 (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2)))))))))) v))
(* -1 (* t (* v (* (PI) (* (sqrt -3) (sqrt 2))))))
(* -1 (* v (+ (* 1/2 (/ (* t (* (PI) (sqrt 2))) (* (pow v 2) (sqrt -3)))) (* t (* (PI) (* (sqrt -3) (sqrt 2)))))))
(* -1 (* v (+ (* -1/8 (/ (* t (* (PI) (sqrt 2))) (* (pow v 4) (pow (sqrt -3) 3)))) (+ (* 1/2 (/ (* t (* (PI) (sqrt 2))) (* (pow v 2) (sqrt -3)))) (* t (* (PI) (* (sqrt -3) (sqrt 2))))))))
(* -1 (* v (+ (* -1/8 (/ (* t (* (PI) (sqrt 2))) (* (pow v 4) (pow (sqrt -3) 3)))) (+ (* 1/16 (/ (* t (* (PI) (sqrt 2))) (* (pow v 6) (pow (sqrt -3) 5)))) (+ (* 1/2 (/ (* t (* (PI) (sqrt 2))) (* (pow v 2) (sqrt -3)))) (* t (* (PI) (* (sqrt -3) (sqrt 2)))))))))
(* (/ (- 1 (* 5 (pow v 2))) (* t (* (PI) (* (sqrt 2) (- 1 (pow v 2)))))) (sqrt (/ 1 (- 1 (* 3 (pow v 2))))))
(* t (PI))
(* (* t (* (PI) (sqrt 2))) (sqrt (- 1 (* 3 (pow v 2)))))

Calls

6 calls:

Time	Variable		Point	Expression
6.0ms	v	@	-inf	((/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (* 5 (* v v)) (* v v) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (* (PI) t) (PI) (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))))
3.0ms	t	@	-inf	((/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (* 5 (* v v)) (* v v) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (* (PI) t) (PI) (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))))
2.0ms	t	@	0	((/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (* 5 (* v v)) (* v v) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (* (PI) t) (PI) (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))))
2.0ms	t	@	inf	((/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (* 5 (* v v)) (* v v) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (* (PI) t) (PI) (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))))
1.0ms	v	@	inf	((/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (* 5 (* v v)) (* v v) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (* (PI) t) (PI) (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))))

simplify1.0ms (0.1%)

Memory

1.9MiB live, 1.9MiB allocated

Algorithm

1×	egg-herbie

Counts

33 → 11

Calls

Call 1

Inputs
(/ 1 (* t (* (PI) (sqrt 2))))
(+ (* -5/2 (/ (pow v 2) (* t (* (PI) (sqrt 2))))) (/ 1 (* t (* (PI) (sqrt 2)))))
(+ (* (pow v 2) (- (* -53/8 (/ (pow v 2) (* t (* (PI) (sqrt 2))))) (* 5/2 (/ 1 (* t (* (PI) (sqrt 2))))))) (/ 1 (* t (* (PI) (sqrt 2)))))
(+ (* (pow v 2) (- (* (pow v 2) (- (* (pow v 2) (- (* 135/16 (/ 1 (* t (* (PI) (sqrt 2))))) (* 47/2 (/ 1 (* t (* (PI) (sqrt 2))))))) (* 53/8 (/ 1 (* t (* (PI) (sqrt 2))))))) (* 5/2 (/ 1 (* t (* (PI) (sqrt 2))))))) (/ 1 (* t (* (PI) (sqrt 2)))))
(* 5 (pow v 2))
(pow v 2)
1
(+ 1 (* -5 (pow v 2)))
(* t (* (PI) (sqrt 2)))
(+ (* -3/2 (* t (* (pow v 2) (* (PI) (sqrt 2))))) (* t (* (PI) (sqrt 2))))
(+ (* t (* (PI) (sqrt 2))) (* (pow v 2) (+ (* -3/2 (* t (* (PI) (sqrt 2)))) (* -9/8 (* t (* (pow v 2) (* (PI) (sqrt 2))))))))
(+ (* t (* (PI) (sqrt 2))) (* (pow v 2) (+ (* -3/2 (* t (* (PI) (sqrt 2)))) (* (pow v 2) (+ (* -27/16 (* t (* (pow v 2) (* (PI) (sqrt 2))))) (* -9/8 (* t (* (PI) (sqrt 2)))))))))
(* 5 (/ (sqrt -1/3) (* t (* v (* (PI) (sqrt 2))))))
(/ (- (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2)))))) (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) v)
(/ (- (+ (* -5/2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 4) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2)))))))) (+ (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (* 2/9 (/ 1 (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))))) v)
(/ (- (+ (* -5/2 (/ (+ 1/81 (* 1/18 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (pow (sqrt -1/3) 2)))) (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* -5/2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* -2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 4) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 6) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2))))))))))) (+ (/ 2/9 (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (+ (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (* 2/9 (/ 1 (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2)))))))))) v)
(* -5 (pow v 2))
(* (pow v 2) (- (/ 1 (pow v 2)) 5))
(* t (* v (* (PI) (* (sqrt -3) (sqrt 2)))))
(* v (+ (* 1/2 (/ (* t (* (PI) (sqrt 2))) (* (pow v 2) (sqrt -3)))) (* t (* (PI) (* (sqrt -3) (sqrt 2))))))
(* v (+ (* -1/8 (/ (* t (* (PI) (sqrt 2))) (* (pow v 4) (pow (sqrt -3) 3)))) (+ (* 1/2 (/ (* t (* (PI) (sqrt 2))) (* (pow v 2) (sqrt -3)))) (* t (* (PI) (* (sqrt -3) (sqrt 2)))))))
(* v (+ (* -1/8 (/ (* t (* (PI) (sqrt 2))) (* (pow v 4) (pow (sqrt -3) 3)))) (+ (* 1/16 (/ (* t (* (PI) (sqrt 2))) (* (pow v 6) (pow (sqrt -3) 5)))) (+ (* 1/2 (/ (* t (* (PI) (sqrt 2))) (* (pow v 2) (sqrt -3)))) (* t (* (PI) (* (sqrt -3) (sqrt 2))))))))
(* -5 (/ (sqrt -1/3) (* t (* v (* (PI) (sqrt 2))))))
(* -1 (/ (- (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2)))))) (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) v))
(* -1 (/ (- (+ (* -5/2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 4) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2)))))))) (+ (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (* 2/9 (/ 1 (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))))) v))
(* -1 (/ (- (+ (* -5/2 (/ (+ 1/81 (* 1/18 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (pow (sqrt -1/3) 2)))) (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* -5/2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* -2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 4) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 6) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2))))))))))) (+ (/ 2/9 (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (+ (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (* 2/9 (/ 1 (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2)))))))))) v))
(* -1 (* t (* v (* (PI) (* (sqrt -3) (sqrt 2))))))
(* -1 (* v (+ (* 1/2 (/ (* t (* (PI) (sqrt 2))) (* (pow v 2) (sqrt -3)))) (* t (* (PI) (* (sqrt -3) (sqrt 2)))))))
(* -1 (* v (+ (* -1/8 (/ (* t (* (PI) (sqrt 2))) (* (pow v 4) (pow (sqrt -3) 3)))) (+ (* 1/2 (/ (* t (* (PI) (sqrt 2))) (* (pow v 2) (sqrt -3)))) (* t (* (PI) (* (sqrt -3) (sqrt 2))))))))
(* -1 (* v (+ (* -1/8 (/ (* t (* (PI) (sqrt 2))) (* (pow v 4) (pow (sqrt -3) 3)))) (+ (* 1/16 (/ (* t (* (PI) (sqrt 2))) (* (pow v 6) (pow (sqrt -3) 5)))) (+ (* 1/2 (/ (* t (* (PI) (sqrt 2))) (* (pow v 2) (sqrt -3)))) (* t (* (PI) (* (sqrt -3) (sqrt 2)))))))))
(* (/ (- 1 (* 5 (pow v 2))) (* t (* (PI) (* (sqrt 2) (- 1 (pow v 2)))))) (sqrt (/ 1 (- 1 (* 3 (pow v 2))))))
(* t (PI))
(* (* t (* (PI) (sqrt 2))) (sqrt (- 1 (* 3 (pow v 2)))))

Outputs
(/ 1 (* t (* (PI) (sqrt 2))))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (.f64 #s(literal 5 binary64) (.f64 v v)))
(+ (* -5/2 (/ (pow v 2) (* t (* (PI) (sqrt 2))))) (/ 1 (* t (* (PI) (sqrt 2)))))
(.f64 #s(literal 5 binary64) (.f64 v v))
(+ (* (pow v 2) (- (* -53/8 (/ (pow v 2) (* t (* (PI) (sqrt 2))))) (* 5/2 (/ 1 (* t (* (PI) (sqrt 2))))))) (/ 1 (* t (* (PI) (sqrt 2)))))
(*.f64 v v)
(+ (* (pow v 2) (- (* (pow v 2) (- (* (pow v 2) (- (* 135/16 (/ 1 (* t (* (PI) (sqrt 2))))) (* 47/2 (/ 1 (* t (* (PI) (sqrt 2))))))) (* 53/8 (/ 1 (* t (* (PI) (sqrt 2))))))) (* 5/2 (/ 1 (* t (* (PI) (sqrt 2))))))) (/ 1 (* t (* (PI) (sqrt 2)))))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (*.f64 v v))
(* 5 (pow v 2))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
(pow v 2)
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))
1
(/.f64 #s(approx (- 1 (* 5 (* v v))) (.f64 (PI.f64) t)) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (.f64 v v))))
(+ 1 (* -5 (pow v 2)))
#s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))
(* t (* (PI) (sqrt 2)))
(*.f64 (PI.f64) t)
(+ (* -3/2 (* t (* (pow v 2) (* (PI) (sqrt 2))))) (* t (* (PI) (sqrt 2))))
(PI.f64)
(+ (* t (* (PI) (sqrt 2))) (* (pow v 2) (+ (* -3/2 (* t (* (PI) (sqrt 2)))) (* -9/8 (* t (* (pow v 2) (* (PI) (sqrt 2))))))))
(.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (*.f64 v v))))))

rewrite1.0ms (0%)

Memory

1.4MiB live, 1.4MiB allocated

Counts

11 → 11

Calls

Call 1

Inputs
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (.f64 #s(literal 5 binary64) (.f64 v v)))
(.f64 #s(literal 5 binary64) (.f64 v v))
(*.f64 v v)
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (*.f64 v v))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))
(/.f64 #s(approx (- 1 (* 5 (* v v))) (.f64 (PI.f64) t)) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (.f64 v v))))
#s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))
(*.f64 (PI.f64) t)
(PI.f64)
(.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (*.f64 v v))))))

Outputs
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (.f64 #s(literal 5 binary64) (.f64 v v)))
(.f64 #s(literal 5 binary64) (.f64 v v))
(*.f64 v v)
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (*.f64 v v))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))
(/.f64 #s(approx (- 1 (* 5 (* v v))) (.f64 (PI.f64) t)) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (.f64 v v))))
#s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))
(*.f64 (PI.f64) t)
(PI.f64)
(.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (*.f64 v v))))))

eval3.0ms (0.2%)

Memory: 6.8MiB live, 6.8MiB allocated
Compiler: Compiled 1 306 to 75 computations (94.3% saved)

prune10.0ms (0.6%)

Memory

-22.5MiB live, 15.3MiB allocated

Pruning

9 alts after pruning (4 fresh and 5 done)

	Pruned	Kept	Total
New	28	4	32
Fresh	0	0	0
Picked	0	4	4
Done	0	1	1
Total	28	9	37

Accuracy

99.1%

Counts

37 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.1%	(/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (*.f64 v v))))
✓	3.4%	(/.f64 #s(approx (- 1 (* 5 (* v v))) (.f64 (PI.f64) t)) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (.f64 v v))))
✓	3.5%	#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
▶	3.7%	#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))))
▶	3.8%	#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) #s(approx (* 5 (* v v)) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))))
✓	3.5%	#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (*.f64 v v))
✓	3.5%	#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (.f64 #s(literal 5 binary64) (.f64 v v)))
▶	3.5%	#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))))
▶	3.9%	#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) #s(approx (- 1 (* 5 (* v v))) #s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))))

Compiler

Compiled 369 to 217 computations (41.2% saved)

simplify2.0ms (0.1%)

Memory

3.2MiB live, 3.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 16 expressions of interest:

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

Calls

Call 1

Inputs
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) #s(approx (- 1 (* 5 (* v v))) #s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))))
#s(approx (- 1 (* 5 (* v v))) #s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t)))
#s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))
(*.f64 (PI.f64) t)
(PI.f64)
t
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))))
(.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))
#s(literal 5 binary64)
#s(approx (* v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))
#s(literal 1 binary64)
(.f64 #s(literal 5 binary64) (.f64 v v))
(*.f64 v v)
v
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) #s(approx (* 5 (* v v)) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))))
(-.f64 #s(literal 1 binary64) #s(approx (* 5 (* v v)) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))))
#s(literal 1 binary64)
#s(approx (* 5 (* v v)) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))
(.f64 #s(literal 5 binary64) (.f64 v v))
#s(literal 5 binary64)
(*.f64 v v)
v
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))))
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))))
#s(literal 1 binary64)
(.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))
#s(literal 5 binary64)
#s(approx (* v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))
(.f64 #s(literal 5 binary64) (.f64 v v))
(*.f64 v v)
v

Outputs
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) #s(approx (- 1 (* 5 (* v v))) #s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))))
#s(approx (- 1 (* 5 (* v v))) #s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t)))
#s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))
(*.f64 (PI.f64) t)
(PI.f64)
t
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))))
(.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))
#s(literal 5 binary64)
#s(approx (* v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))
#s(literal 1 binary64)
(.f64 #s(literal 5 binary64) (.f64 v v))
(*.f64 v v)
v
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) #s(approx (* 5 (* v v)) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))))
(-.f64 #s(literal 1 binary64) #s(approx (* 5 (* v v)) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))))
#s(literal 1 binary64)
#s(approx (* 5 (* v v)) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))
(.f64 #s(literal 5 binary64) (.f64 v v))
#s(literal 5 binary64)
(*.f64 v v)
v
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))))
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))))
#s(literal 1 binary64)
(.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))
#s(literal 5 binary64)
#s(approx (* v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))
(.f64 #s(literal 5 binary64) (.f64 v v))
(*.f64 v v)
v

localize63.0ms (3.5%)

Memory

3.9MiB live, 129.0MiB allocated

Localize:

Found 16 expressions of interest:

New	Metric	Score
accuracy	0.14585878907376806	(.f64 #s(literal 5 binary64) (.f64 v v))
accuracy	0.14585878907376806	(.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))
accuracy	61.41255363975077	#s(approx (* v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
accuracy	61.78063674555608	#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))))
accuracy	0.14585878907376806	(.f64 #s(literal 5 binary64) (.f64 v v))
accuracy	61.73032055040971	#s(approx (* 5 (* v v)) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))
accuracy	61.78063674555608	#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
accuracy	61.78063674555608	#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) #s(approx (* 5 (* v v)) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))))
accuracy	0.14585878907376806	(.f64 #s(literal 5 binary64) (.f64 v v))
accuracy	0.14585878907376806	(.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))
accuracy	61.41255363975077	#s(approx (* v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
accuracy	61.73032055040971	#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))))
accuracy	0.0	#s(approx (- 1 (* 5 (* v v))) #s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t)))
accuracy	0.265625	(*.f64 (PI.f64) t)
accuracy	61.755360444691426	#s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))
accuracy	61.78063674555608	#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) #s(approx (- 1 (* 5 (* v v))) #s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))))

Samples

44.0ms

256×

valid

Compiler

Compiled 731 to 59 computations (91.9% saved)

Precisions

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

ival-mult: 20.0ms (71.7% of total)

ival-sub: 3.0ms (10.8% of total)

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

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

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

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

exact: 0.0ms (0% of total)

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

series15.0ms (0.8%)

Memory

-4.2MiB live, 34.1MiB allocated

Counts

15 → 20

Calls

Call 1

Inputs
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) #s(approx (- 1 (* 5 (* v v))) #s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))))
#s(approx (- 1 (* 5 (* v v))) #s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t)))
#s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))
(*.f64 (PI.f64) t)
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))))
(.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))
#s(approx (* v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) #s(approx (* 5 (* v v)) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))))
(-.f64 #s(literal 1 binary64) #s(approx (* 5 (* v v)) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))))
#s(approx (* 5 (* v v)) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))))
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))))
(.f64 #s(literal 5 binary64) (.f64 v v))

Outputs
(/ 1 (* t (* (PI) (sqrt 2))))
(+ (* -5/2 (/ (pow v 2) (* t (* (PI) (sqrt 2))))) (/ 1 (* t (* (PI) (sqrt 2)))))
(+ (* (pow v 2) (- (* -53/8 (/ (pow v 2) (* t (* (PI) (sqrt 2))))) (* 5/2 (/ 1 (* t (* (PI) (sqrt 2))))))) (/ 1 (* t (* (PI) (sqrt 2)))))
(+ (* (pow v 2) (- (* (pow v 2) (- (* (pow v 2) (- (* 135/16 (/ 1 (* t (* (PI) (sqrt 2))))) (* 47/2 (/ 1 (* t (* (PI) (sqrt 2))))))) (* 53/8 (/ 1 (* t (* (PI) (sqrt 2))))))) (* 5/2 (/ 1 (* t (* (PI) (sqrt 2))))))) (/ 1 (* t (* (PI) (sqrt 2)))))
1
(+ 1 (* -5 (pow v 2)))
(* 5 (pow v 2))
(pow v 2)
(* 5 (/ (sqrt -1/3) (* t (* v (* (PI) (sqrt 2))))))
(/ (- (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2)))))) (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) v)
(/ (- (+ (* -5/2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 4) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2)))))))) (+ (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (* 2/9 (/ 1 (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))))) v)
(/ (- (+ (* -5/2 (/ (+ 1/81 (* 1/18 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (pow (sqrt -1/3) 2)))) (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* -5/2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* -2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 4) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 6) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2))))))))))) (+ (/ 2/9 (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (+ (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (* 2/9 (/ 1 (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2)))))))))) v)
(* -5 (pow v 2))
(* (pow v 2) (- (/ 1 (pow v 2)) 5))
(* -5 (/ (sqrt -1/3) (* t (* v (* (PI) (sqrt 2))))))
(* -1 (/ (- (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2)))))) (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) v))
(* -1 (/ (- (+ (* -5/2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 4) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2)))))))) (+ (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (* 2/9 (/ 1 (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))))) v))
(* -1 (/ (- (+ (* -5/2 (/ (+ 1/81 (* 1/18 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (pow (sqrt -1/3) 2)))) (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* -5/2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* -2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 4) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 6) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2))))))))))) (+ (/ 2/9 (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (+ (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (* 2/9 (/ 1 (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2)))))))))) v))
(* (/ (- 1 (* 5 (pow v 2))) (* t (* (PI) (* (sqrt 2) (- 1 (pow v 2)))))) (sqrt (/ 1 (- 1 (* 3 (pow v 2))))))
(* t (PI))

Calls

6 calls:

Time	Variable		Point	Expression
6.0ms	t	@	-inf	((/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v))) (* (PI) t) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (* 5 (* v v)) (* v v) (- 1 (* 5 (* v v))) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (* 5 (* v v)) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (* 5 (* v v)))
2.0ms	t	@	inf	((/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v))) (* (PI) t) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (* 5 (* v v)) (* v v) (- 1 (* 5 (* v v))) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (* 5 (* v v)) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (* 5 (* v v)))
2.0ms	t	@	0	((/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v))) (* (PI) t) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (* 5 (* v v)) (* v v) (- 1 (* 5 (* v v))) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (* 5 (* v v)) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (* 5 (* v v)))
2.0ms	v	@	inf	((/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v))) (* (PI) t) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (* 5 (* v v)) (* v v) (- 1 (* 5 (* v v))) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (* 5 (* v v)) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (* 5 (* v v)))
1.0ms	v	@	-inf	((/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v))) (* (PI) t) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (* 5 (* v v)) (* v v) (- 1 (* 5 (* v v))) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (* 5 (* v v)) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) (* 5 (* v v)))

simplify1.0ms (0.1%)

Memory

3.6MiB live, 3.6MiB allocated

Algorithm

1×	egg-herbie

Counts

20 → 15

Calls

Call 1

Inputs
(/ 1 (* t (* (PI) (sqrt 2))))
(+ (* -5/2 (/ (pow v 2) (* t (* (PI) (sqrt 2))))) (/ 1 (* t (* (PI) (sqrt 2)))))
(+ (* (pow v 2) (- (* -53/8 (/ (pow v 2) (* t (* (PI) (sqrt 2))))) (* 5/2 (/ 1 (* t (* (PI) (sqrt 2))))))) (/ 1 (* t (* (PI) (sqrt 2)))))
(+ (* (pow v 2) (- (* (pow v 2) (- (* (pow v 2) (- (* 135/16 (/ 1 (* t (* (PI) (sqrt 2))))) (* 47/2 (/ 1 (* t (* (PI) (sqrt 2))))))) (* 53/8 (/ 1 (* t (* (PI) (sqrt 2))))))) (* 5/2 (/ 1 (* t (* (PI) (sqrt 2))))))) (/ 1 (* t (* (PI) (sqrt 2)))))
1
(+ 1 (* -5 (pow v 2)))
(* 5 (pow v 2))
(pow v 2)
(* 5 (/ (sqrt -1/3) (* t (* v (* (PI) (sqrt 2))))))
(/ (- (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2)))))) (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) v)
(/ (- (+ (* -5/2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 4) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2)))))))) (+ (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (* 2/9 (/ 1 (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))))) v)
(/ (- (+ (* -5/2 (/ (+ 1/81 (* 1/18 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (pow (sqrt -1/3) 2)))) (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* -5/2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* -2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 4) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 6) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2))))))))))) (+ (/ 2/9 (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (+ (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (* 2/9 (/ 1 (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2)))))))))) v)
(* -5 (pow v 2))
(* (pow v 2) (- (/ 1 (pow v 2)) 5))
(* -5 (/ (sqrt -1/3) (* t (* v (* (PI) (sqrt 2))))))
(* -1 (/ (- (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2)))))) (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) v))
(* -1 (/ (- (+ (* -5/2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 4) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2)))))))) (+ (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (* 2/9 (/ 1 (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))))) v))
(* -1 (/ (- (+ (* -5/2 (/ (+ 1/81 (* 1/18 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (pow (sqrt -1/3) 2)))) (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* -5/2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* -2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 4) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 6) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2))))))))))) (+ (/ 2/9 (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (+ (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (* 2/9 (/ 1 (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2)))))))))) v))
(* (/ (- 1 (* 5 (pow v 2))) (* t (* (PI) (* (sqrt 2) (- 1 (pow v 2)))))) (sqrt (/ 1 (- 1 (* 3 (pow v 2))))))
(* t (PI))

Outputs
(/ 1 (* t (* (PI) (sqrt 2))))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) #s(approx (- 1 (* 5 (* v v))) #s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))))
(+ (* -5/2 (/ (pow v 2) (* t (* (PI) (sqrt 2))))) (/ 1 (* t (* (PI) (sqrt 2)))))
#s(approx (- 1 (* 5 (* v v))) #s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t)))
(+ (* (pow v 2) (- (* -53/8 (/ (pow v 2) (* t (* (PI) (sqrt 2))))) (* 5/2 (/ 1 (* t (* (PI) (sqrt 2))))))) (/ 1 (* t (* (PI) (sqrt 2)))))
#s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))
(+ (* (pow v 2) (- (* (pow v 2) (- (* (pow v 2) (- (* 135/16 (/ 1 (* t (* (PI) (sqrt 2))))) (* 47/2 (/ 1 (* t (* (PI) (sqrt 2))))))) (* 53/8 (/ 1 (* t (* (PI) (sqrt 2))))))) (* 5/2 (/ 1 (* t (* (PI) (sqrt 2))))))) (/ 1 (* t (* (PI) (sqrt 2)))))
(*.f64 (PI.f64) t)
1
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))))
(+ 1 (* -5 (pow v 2)))
(.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))
(* 5 (pow v 2))
#s(approx (* v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
(pow v 2)
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))
(* 5 (/ (sqrt -1/3) (* t (* v (* (PI) (sqrt 2))))))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) #s(approx (* 5 (* v v)) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))))
(/ (- (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2)))))) (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) v)
(-.f64 #s(literal 1 binary64) #s(approx (* 5 (* v v)) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))))
(/ (- (+ (* -5/2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 4) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2)))))))) (+ (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (* 2/9 (/ 1 (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))))) v)
#s(approx (* 5 (* v v)) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))
(/ (- (+ (* -5/2 (/ (+ 1/81 (* 1/18 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (pow (sqrt -1/3) 2)))) (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* -5/2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* -2 (/ (+ 1/27 (* 1/324 (/ 1 (pow (sqrt -1/3) 2)))) (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2))))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 2) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 4) (* (PI) (sqrt 2)))))) (+ (* 4 (/ (sqrt -1/3) (* t (* (pow v 6) (* (PI) (sqrt 2)))))) (* 5 (/ (sqrt -1/3) (* t (* (PI) (sqrt 2))))))))))) (+ (/ 2/9 (* t (* (pow v 6) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (+ (/ 5/18 (* t (* (pow v 2) (* (PI) (* (sqrt -1/3) (sqrt 2)))))) (* 2/9 (/ 1 (* t (* (pow v 4) (* (PI) (* (sqrt -1/3) (sqrt 2)))))))))) v)
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
(* -5 (pow v 2))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))))
(* (pow v 2) (- (/ 1 (pow v 2)) 5))
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))))
(* -5 (/ (sqrt -1/3) (* t (* v (* (PI) (sqrt 2))))))
(.f64 #s(literal 5 binary64) (.f64 v v))

rewrite1.0ms (0.1%)

Memory

2.7MiB live, 2.7MiB allocated

Counts

15 → 15

Calls

Call 1

Inputs
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) #s(approx (- 1 (* 5 (* v v))) #s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))))
#s(approx (- 1 (* 5 (* v v))) #s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t)))
#s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))
(*.f64 (PI.f64) t)
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))))
(.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))
#s(approx (* v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) #s(approx (* 5 (* v v)) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))))
(-.f64 #s(literal 1 binary64) #s(approx (* 5 (* v v)) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))))
#s(approx (* 5 (* v v)) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))))
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))))
(.f64 #s(literal 5 binary64) (.f64 v v))

Outputs
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) #s(approx (- 1 (* 5 (* v v))) #s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))))
#s(approx (- 1 (* 5 (* v v))) #s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t)))
#s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))
(*.f64 (PI.f64) t)
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))))
(.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))
#s(approx (* v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) #s(approx (* 5 (* v v)) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))))
(-.f64 #s(literal 1 binary64) #s(approx (* 5 (* v v)) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))))
#s(approx (* 5 (* v v)) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))))
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))))
(.f64 #s(literal 5 binary64) (.f64 v v))

eval3.0ms (0.2%)

Memory: 7.8MiB live, 7.8MiB allocated
Compiler: Compiled 1 881 to 57 computations (97% saved)

prune16.0ms (0.9%)

Memory

-15.5MiB live, 28.9MiB allocated

Pruning

9 alts after pruning (0 fresh and 9 done)

	Pruned	Kept	Total
New	34	0	34
Fresh	0	0	0
Picked	0	4	4
Done	0	5	5
Total	34	9	43

Accuracy

99.1%

Counts

43 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.1%	(/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (*.f64 v v))))
✓	3.4%	(/.f64 #s(approx (- 1 (* 5 (* v v))) (.f64 (PI.f64) t)) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (.f64 v v))))
✓	3.5%	#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
✓	3.7%	#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))))
✓	3.8%	#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) #s(approx (* 5 (* v v)) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))))
✓	3.5%	#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (*.f64 v v))
✓	3.5%	#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (.f64 #s(literal 5 binary64) (.f64 v v)))
✓	3.5%	#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))))
✓	3.9%	#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) #s(approx (- 1 (* 5 (* v v))) #s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))))

Compiler

Compiled 738 to 268 computations (63.7% saved)

regimes20.0ms (1.1%)

Memory

-4.4MiB live, 34.1MiB allocated

Counts

9 → 1

Calls

Call 1

Inputs
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) #s(approx (- 1 (* 5 (* v v))) #s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (*.f64 v v))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (.f64 #s(literal 5 binary64) (.f64 v v)))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) #s(approx (* 5 (* v v)) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))))
(/.f64 #s(approx (- 1 (* 5 (* v v))) (.f64 (PI.f64) t)) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (.f64 v v))))
(/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (*.f64 v v))))

Outputs

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

Calls

5 calls:

6.0ms	v
3.0ms	(/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (*.f64 v v))))
3.0ms	(*.f64 (PI.f64) t)
3.0ms	t
3.0ms	(*.f64 v v)

Results

Accuracy	Segments	Branch
99.1%	1	`v`
99.1%	1	`t`
99.1%	1	`(/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (*.f64 v v))))`
99.1%	1	`(*.f64 v v)`
99.1%	1	`(*.f64 (PI.f64) t)`

Compiler

Compiled 36 to 30 computations (16.7% saved)

regimes15.0ms (0.8%)

Memory

28.8MiB live, 28.8MiB allocated

Counts

8 → 2

Calls

Call 1

Inputs
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) #s(approx (- 1 (* 5 (* v v))) #s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (*.f64 v v))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (.f64 #s(literal 5 binary64) (.f64 v v)))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) #s(approx (* 5 (* v v)) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))))
(/.f64 #s(approx (- 1 (* 5 (* v v))) (.f64 (PI.f64) t)) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (.f64 v v))))

Outputs

#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) #s(approx (* v v) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 v v)))))))

#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (*.f64 #s(literal 5 binary64) #s(approx (* v v) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 v v))))))

Calls

5 calls:

3.0ms	(/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (*.f64 v v))))
3.0ms	(*.f64 (PI.f64) t)
3.0ms	t
3.0ms	v
2.0ms	(*.f64 v v)

Results

Accuracy	Segments	Branch
3.9%	1	`v`
5.5%	2	`t`
5.5%	2	`(/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (*.f64 v v))))`
3.9%	1	`(*.f64 v v)`
5.5%	2	`(*.f64 (PI.f64) t)`

Compiler

Compiled 36 to 30 computations (16.7% saved)

regimes10.0ms (0.5%)

Memory

-22.8MiB live, 16.3MiB allocated

Accuracy

Total -1.2b remaining (-2%)

Threshold costs -1.2b (-2%)

Counts

6 → 1

Calls

Call 1

Inputs
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) #s(approx (- 1 (* 5 (* v v))) #s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (*.f64 v v))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (.f64 #s(literal 5 binary64) (.f64 v v)))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) #s(approx (* 5 (* v v)) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v)))))))
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (.f64 #s(literal 5 binary64) #s(approx ( v v) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))))))

Outputs
#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) #s(approx (- 1 (* 5 (* v v))) #s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))))

Calls

3 calls:

4.0ms

(*.f64 (PI.f64) t)

3.0ms

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

2.0ms

Results

Accuracy	Segments	Branch
3.9%	1	`t`
3.9%	1	`(*.f64 (PI.f64) t)`
3.9%	1	`(/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (.f64 v v)))))) (-.f64 #s(literal 1 binary64) (*.f64 v v))))`

Compiler

Compiled 32 to 25 computations (21.9% saved)

bsearch0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	0.0	3.824892111451069e-304

Compiler

Compiled 31 to 24 computations (22.6% saved)

simplify5.0ms (0.3%)

Memory

10.9MiB live, 10.9MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs

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

(if (<=.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 v v))) (*.f64 (*.f64 (*.f64 (PI.f64) t) (sqrt.f64 (*.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) (*.f64 v v)))))) (-.f64 #s(literal 1 binary64) (*.f64 v v)))) #s(literal 0 binary64)) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) #s(approx (* v v) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 v v))))))) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (*.f64 #s(literal 5 binary64) #s(approx (* v v) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 v v)))))))

#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) #s(approx (- 1 (* 5 (* v v))) #s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))))

Outputs

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

(if (<=.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 v v))) (*.f64 (*.f64 (*.f64 (PI.f64) t) (sqrt.f64 (*.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) (*.f64 v v)))))) (-.f64 #s(literal 1 binary64) (*.f64 v v)))) #s(literal 0 binary64)) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) #s(approx (* v v) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 v v))))))) #s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (*.f64 #s(literal 5 binary64) #s(approx (* v v) (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 v v)))))))

#s(approx (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) #s(approx (- 1 (* 5 (* v v))) #s(approx (- 1 (* 5 (* v v))) (*.f64 (PI.f64) t))))

soundness1.0ms (0.1%)

Memory

1.8MiB live, 1.8MiB allocated

Stop Event

1×

done

Compiler

Compiled 193 to 47 computations (75.6% saved)

preprocess25.0ms (1.4%)

Memory: 8.4MiB live, 47.8MiB allocated
Compiler: Compiled 442 to 132 computations (70.1% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze57.0ms (3.2%)

sample1.2s (66.3%)

explain210.0ms (11.6%)

preprocess3.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify1.0ms (0%)

localize43.0ms (2.4%)

series26.0ms (1.4%)

simplify1.0ms (0.1%)

rewrite0.0ms (0%)

eval2.0ms (0.1%)

prune3.0ms (0.2%)

simplify1.0ms (0.1%)

localize53.0ms (2.9%)

series17.0ms (0.9%)

simplify1.0ms (0.1%)

rewrite1.0ms (0%)

eval3.0ms (0.2%)

prune10.0ms (0.6%)

simplify2.0ms (0.1%)

localize63.0ms (3.5%)

series15.0ms (0.8%)

simplify1.0ms (0.1%)

rewrite1.0ms (0.1%)

eval3.0ms (0.2%)

prune16.0ms (0.9%)

regimes20.0ms (1.1%)

regimes15.0ms (0.8%)

regimes10.0ms (0.5%)

bsearch0.0ms (0%)

simplify5.0ms (0.3%)

soundness1.0ms (0.1%)

preprocess25.0ms (1.4%)

end0.0ms (0%)

Profiling