Metrics for (x*(1.57079633-((0.5*1.57079633)*0.5)+((0.5*1.57079633)*(1.0-0.5)))*((1.0-pow((1.0-(1.0*0.5))+(1*(1.0-0.5)),2))*0.763932022500211))*0.618033988749895

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze1.0ms (0%)

Memory

0.1MiB live, 0.1MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	52.7%	47.3%	0%	0%	0%	0
100%	52.7%	0%	47.3%	0%	0%	0%	1

Compiler

Compiled 45 to 28 computations (37.8% saved)

sample2.3s (71.6%)

Memory

15.5MiB live, 1 181.4MiB allocated

Samples

1.3s

8 256×

valid

Precisions

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

ival-mult: 446.0ms (42.3% of total)

ival-pow2: 217.0ms (20.6% of total)

ival-sub: 151.0ms (14.3% of total)

ival-<=: 86.0ms (8.2% of total)

ival-add: 74.0ms (7% of total)

exact: 64.0ms (6.1% of total)

ival-and: 12.0ms (1.1% of total)

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

Bogosity

explain721.0ms (22.9%)

Memory

-66.5MiB live, 398.7MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`#s(literal 1 binary64)`
-	-	`(pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64))`
-	-	`(.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (*.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))))`
-	-	`(+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))`
-	-	`(.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))`
-	-	`(-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))`
-	-	`(.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64))) #s(literal 6880887943736679/9007199254740992 binary64))`
-	-	`(-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64)))`
-	-	`#s(literal 1/2 binary64)`
-	-	`(*.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64))`
-	-	`(*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))`
-	-	`#s(literal 6880887943736679/9007199254740992 binary64)`
-	-	(.f64 (.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))) (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64))) #s(literal 6880887943736679/9007199254740992 binary64)))
-	-	`(+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))`
-	-	`(.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))`
-	-	`(-.f64 #s(literal 1 binary64) (*.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))`
-	-	`(*.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))`
-	-	`#s(literal 5566755282872657/9007199254740992 binary64)`
-	-	(.f64 (.f64 (.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))) (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64))) #s(literal 6880887943736679/9007199254740992 binary64))) #s(literal 5566755282872657/9007199254740992 binary64))
-	-	`#s(literal 2 binary64)`
-	-	`(-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64)))`
-	-	`#s(literal 7074237766462943/4503599627370496 binary64)`
-	-	`x`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

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

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

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

Precision?

0/0

Recall?

0/0

Samples

135.0ms

512×

valid

Compiler

Compiled 451 to 73 computations (83.8% saved)

Precisions

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

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

ival-mult: 22.0ms (20% of total)

ival-pow2: 5.0ms (4.5% of total)

ival-add: 4.0ms (3.6% of total)

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

exact: 1.0ms (0.9% of total)

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

preprocess15.0ms (0.5%)

Memory

5.2MiB live, 5.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	2
1	46	2
2	57	2
3	63	2
4	66	2
5	71	2
6	79	2
7	81	2
0	23	7
0	56	1
1	64	1
0	64	1

Stop Event

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

Calls

Call 1

Inputs

(*.f64 (*.f64 (*.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (*.f64 (*.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (*.f64 (*.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))) (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64))) #s(literal 6880887943736679/9007199254740992 binary64))) #s(literal 5566755282872657/9007199254740992 binary64))

Outputs

(*.f64 (*.f64 (*.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (*.f64 (*.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (*.f64 (*.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))) (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64))) #s(literal 6880887943736679/9007199254740992 binary64))) #s(literal 5566755282872657/9007199254740992 binary64))

#s(literal 0 binary64)

Compiler

Compiled 37 to 23 computations (37.8% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(.f64 (.f64 (.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))) (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64))) #s(literal 6880887943736679/9007199254740992 binary64))) #s(literal 5566755282872657/9007199254740992 binary64))

Status

Accuracy

Program

▶

100.0%

(*.f64 (*.f64 (*.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (*.f64 (*.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (*.f64 (*.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))) (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64))) #s(literal 6880887943736679/9007199254740992 binary64))) #s(literal 5566755282872657/9007199254740992 binary64))

Compiler

Compiled 37 to 23 computations (37.8% saved)

simplify4.0ms (0.1%)

Memory

1.0MiB live, 1.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score
cost-diff	2	(-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64)))
cost-diff	2	(+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))
cost-diff	2	(.f64 (.f64 (.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))) (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64))) #s(literal 6880887943736679/9007199254740992 binary64))) #s(literal 5566755282872657/9007199254740992 binary64))
cost-diff	4	(.f64 (.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))) (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64))) #s(literal 6880887943736679/9007199254740992 binary64)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	35
0	56	25
1	64	25
0	64	25

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(.f64 (.f64 (.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))) (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64))) #s(literal 6880887943736679/9007199254740992 binary64))) #s(literal 5566755282872657/9007199254740992 binary64))
(.f64 (.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))) (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64))) #s(literal 6880887943736679/9007199254740992 binary64)))
(.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (*.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))))
x
(+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))
(-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64)))
#s(literal 7074237766462943/4503599627370496 binary64)
(.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64))
#s(literal 1/2 binary64)
(.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))
(-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))
#s(literal 1 binary64)
(.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64))) #s(literal 6880887943736679/9007199254740992 binary64))
(-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64)))
(pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64))
(+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))
(-.f64 #s(literal 1 binary64) (*.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))
(*.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))
#s(literal 2 binary64)
#s(literal 6880887943736679/9007199254740992 binary64)
#s(literal 5566755282872657/9007199254740992 binary64)

Outputs
(.f64 (.f64 (.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))) (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64))) #s(literal 6880887943736679/9007199254740992 binary64))) #s(literal 5566755282872657/9007199254740992 binary64))
#s(literal 0 binary64)
(.f64 (.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))) (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64))) #s(literal 6880887943736679/9007199254740992 binary64)))
#s(literal 0 binary64)
(.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (*.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))))
(*.f64 #s(literal 7074237766462943/4503599627370496 binary64) x)
x
(+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))
#s(literal 7074237766462943/4503599627370496 binary64)
(-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64)))
#s(literal 21222713299388829/18014398509481984 binary64)
#s(literal 7074237766462943/4503599627370496 binary64)
(.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))
#s(literal 7074237766462943/18014398509481984 binary64)
(*.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64))
#s(literal 7074237766462943/9007199254740992 binary64)
#s(literal 1/2 binary64)
(.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))
#s(literal 7074237766462943/18014398509481984 binary64)
(-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))
#s(literal 1/2 binary64)
#s(literal 1 binary64)
(.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64))) #s(literal 6880887943736679/9007199254740992 binary64))
#s(literal 0 binary64)
(-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64)))
#s(literal 0 binary64)
(pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64))
#s(literal 1 binary64)
(+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))
#s(literal 1 binary64)
(-.f64 #s(literal 1 binary64) (*.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))
#s(literal 1/2 binary64)
(*.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))
#s(literal 1/2 binary64)
(*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))
#s(literal 1/2 binary64)
#s(literal 2 binary64)
#s(literal 6880887943736679/9007199254740992 binary64)
#s(literal 5566755282872657/9007199254740992 binary64)

localize45.0ms (1.4%)

Memory

20.4MiB live, 20.4MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
accuracy	0.0	(.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (*.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))))
accuracy	0.0	(*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))
accuracy	0.0	(*.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))
accuracy	0.0	(*.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64))

Samples

31.0ms

256×

valid

Compiler

Compiled 207 to 25 computations (87.9% saved)

Precisions

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

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

ival-sub: 4.0ms (20.8% of total)

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

ival-pow2: 2.0ms (10.4% of total)

exact: 1.0ms (5.2% of total)

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

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

series2.0ms (0.1%)

Memory

0.9MiB live, 0.9MiB allocated

Counts

8 → 2

Calls

Call 1

Inputs
(.f64 (.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))) (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64))) #s(literal 6880887943736679/9007199254740992 binary64)))
(.f64 (.f64 (.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))) (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64))) #s(literal 6880887943736679/9007199254740992 binary64))) #s(literal 5566755282872657/9007199254740992 binary64))
(+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))
(-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64)))
(*.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64))
(*.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))
(.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (*.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))))

Outputs
0
(* 7074237766462943/4503599627370496 x)

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	-inf	((* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) (* (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) 5566755282872657/9007199254740992) (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2))) (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* 1/2 7074237766462943/4503599627370496) (* 1 1/2) (* 1 (- 1 1/2)) (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))))
0.0ms	x	@	0	((* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) (* (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) 5566755282872657/9007199254740992) (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2))) (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* 1/2 7074237766462943/4503599627370496) (* 1 1/2) (* 1 (- 1 1/2)) (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))))
0.0ms	x	@	inf	((* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) (* (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) 5566755282872657/9007199254740992) (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2))) (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* 1/2 7074237766462943/4503599627370496) (* 1 1/2) (* 1 (- 1 1/2)) (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))))

Time

Variable

Point

Expression

0.0ms

-inf

((* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) (* (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) 5566755282872657/9007199254740992) (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2))) (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* 1/2 7074237766462943/4503599627370496) (* 1 1/2) (* 1 (- 1 1/2)) (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))))

0.0ms

((* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) (* (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) 5566755282872657/9007199254740992) (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2))) (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* 1/2 7074237766462943/4503599627370496) (* 1 1/2) (* 1 (- 1 1/2)) (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))))

0.0ms

inf

((* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) (* (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) 5566755282872657/9007199254740992) (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2))) (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* 1/2 7074237766462943/4503599627370496) (* 1 1/2) (* 1 (- 1 1/2)) (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))))

simplify2.0ms (0.1%)

Memory

0.3MiB live, 0.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	4
1	5	4
0	5	4

Stop Event

1×	iter limit
1×	saturated

Counts

2 → 2

Calls

Call 1

Inputs
0
(* 7074237766462943/4503599627370496 x)

Outputs
0
#s(literal 0 binary64)
(* 7074237766462943/4503599627370496 x)
(*.f64 #s(literal 7074237766462943/4503599627370496 binary64) x)

rewrite14.0ms (0.4%)

Memory

5.2MiB live, 5.2MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	20
0	56	10
1	64	10
0	64	10

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Counts

8 → 9

Calls

Call 1

Inputs
(.f64 (.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))) (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64))) #s(literal 6880887943736679/9007199254740992 binary64)))
(.f64 (.f64 (.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))) (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64))) #s(literal 6880887943736679/9007199254740992 binary64))) #s(literal 5566755282872657/9007199254740992 binary64))
(+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))
(-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64)))
(*.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64))
(*.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))
(.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (*.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))))

Outputs
#s(literal 0 binary64)
#s(literal 0 binary64)
#s(literal 7074237766462943/4503599627370496 binary64)
#s(literal 21222713299388829/18014398509481984 binary64)
#s(literal 7074237766462943/9007199254740992 binary64)
#s(literal 1/2 binary64)
#s(literal 1/2 binary64)
(*.f64 #s(literal 7074237766462943/4503599627370496 binary64) x)
(*.f64 x #s(literal 7074237766462943/4503599627370496 binary64))

eval1.0ms (0%)

Memory: 1.0MiB live, 1.0MiB allocated
Compiler: Compiled 288 to 77 computations (73.3% saved)

prune1.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	9	1	10
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	10	1	11

Accuracy

100.0%

Counts

11 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(.f64 #s(approx ( (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) #s(literal 0 binary64)) #s(literal 5566755282872657/9007199254740992 binary64))

Status

Accuracy

Program

▶

100.0%

(*.f64 #s(approx (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) #s(literal 0 binary64)) #s(literal 5566755282872657/9007199254740992 binary64))

Compiler

Compiled 39 to 25 computations (35.9% saved)

simplify3.0ms (0.1%)

Memory

0.5MiB live, 0.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
cost-diff	0	#s(approx (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) #s(literal 0 binary64))
cost-diff	0	(.f64 #s(approx ( (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) #s(literal 0 binary64)) #s(literal 5566755282872657/9007199254740992 binary64))

New

Metric

Score

Program

cost-diff

#s(approx (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) #s(literal 0 binary64))

cost-diff

(*.f64 #s(approx (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) #s(literal 0 binary64)) #s(literal 5566755282872657/9007199254740992 binary64))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	18
0	26	10
1	33	10
0	33	10

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(.f64 #s(approx ( (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) #s(literal 0 binary64)) #s(literal 5566755282872657/9007199254740992 binary64))
#s(approx (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) #s(literal 0 binary64))
#s(literal 0 binary64)
#s(literal 5566755282872657/9007199254740992 binary64)

Outputs
(.f64 #s(approx ( (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) #s(literal 0 binary64)) #s(literal 5566755282872657/9007199254740992 binary64))
(.f64 #s(literal 5566755282872657/9007199254740992 binary64) #s(approx ( (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) #s(literal 0 binary64)))
#s(approx (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) #s(literal 0 binary64))
#s(literal 0 binary64)
#s(literal 5566755282872657/9007199254740992 binary64)

localize39.0ms (1.2%)

Memory

15.7MiB live, 15.7MiB allocated

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
accuracy	0.0	(.f64 #s(approx ( (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) #s(literal 0 binary64)) #s(literal 5566755282872657/9007199254740992 binary64))
accuracy	0.0	#s(approx (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) #s(literal 0 binary64))

New

Metric

Score

Program

accuracy

0.0

(*.f64 #s(approx (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) #s(literal 0 binary64)) #s(literal 5566755282872657/9007199254740992 binary64))

accuracy

0.0

#s(approx (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) #s(literal 0 binary64))

Samples

29.0ms

256×

valid

Compiler

Compiled 76 to 25 computations (67.1% saved)

Precisions

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

ival-mult: 11.0ms (50.8% of total)

ival-sub: 5.0ms (23.1% of total)

ival-pow2: 3.0ms (13.9% of total)

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

exact: 1.0ms (4.6% of total)

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

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

series0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Counts

2 → 1

Calls

Call 1

Inputs

(*.f64 #s(approx (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) #s(literal 0 binary64)) #s(literal 5566755282872657/9007199254740992 binary64))

#s(approx (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) #s(literal 0 binary64))

Outputs
0

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	((* (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) 5566755282872657/9007199254740992) (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)))
0.0ms	x	@	-inf	((* (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) 5566755282872657/9007199254740992) (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)))
0.0ms	x	@	inf	((* (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) 5566755282872657/9007199254740992) (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)))

Time

Variable

Point

Expression

0.0ms

((* (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) 5566755282872657/9007199254740992) (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)))

0.0ms

-inf

((* (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) 5566755282872657/9007199254740992) (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)))

0.0ms

inf

((* (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) 5566755282872657/9007199254740992) (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)))

simplify2.0ms (0.1%)

Memory

0.2MiB live, 0.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	1
0	1	1

Stop Event

1×	saturated
1×	saturated

Counts

1 → 1

Calls

Call 1

Inputs
0

Outputs
0
#s(literal 0 binary64)

rewrite7.0ms (0.2%)

Memory

0.6MiB live, 0.6MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	16
0	26	8
1	33	8
0	33	8

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Counts

2 → 3

Calls

Call 1

Inputs

(*.f64 #s(approx (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) #s(literal 0 binary64)) #s(literal 5566755282872657/9007199254740992 binary64))

#s(approx (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) #s(literal 0 binary64))

Outputs

(*.f64 #s(literal 5566755282872657/9007199254740992 binary64) #s(approx (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) #s(literal 0 binary64)))

(*.f64 #s(approx (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) #s(literal 0 binary64)) #s(literal 5566755282872657/9007199254740992 binary64))

#s(approx (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) #s(literal 0 binary64))

eval1.0ms (0%)

Memory: 0.3MiB live, 0.3MiB allocated
Compiler: Compiled 156 to 29 computations (81.4% saved)

prune1.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	3	1	4
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	4	1	5

Accuracy

100.0%

Counts

5 → 1

Alt Table

Click to see full alt table

Status

Accuracy

Program

100.0%

#s(approx (* (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) 5566755282872657/9007199254740992) #s(literal 0 binary64))

Compiler

Compiled 154 to 74 computations (51.9% saved)

regimes6.0ms (0.2%)

Memory

5.8MiB live, 5.8MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

3 → 1

Calls

Call 1

Inputs

#s(approx (* (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) 5566755282872657/9007199254740992) #s(literal 0 binary64))

(*.f64 #s(approx (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) #s(literal 0 binary64)) #s(literal 5566755282872657/9007199254740992 binary64))

(*.f64 (*.f64 (*.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (*.f64 (*.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (*.f64 (*.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))) (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64))) #s(literal 6880887943736679/9007199254740992 binary64))) #s(literal 5566755282872657/9007199254740992 binary64))

Outputs

#s(approx (* (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) 5566755282872657/9007199254740992) #s(literal 0 binary64))

Calls

4 calls:

1.0ms	(.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (*.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))))
1.0ms	x
1.0ms	(.f64 (.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))) (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64))) #s(literal 6880887943736679/9007199254740992 binary64)))
1.0ms	(.f64 (.f64 (.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))) (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64))) #s(literal 6880887943736679/9007199254740992 binary64))) #s(literal 5566755282872657/9007199254740992 binary64))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	(.f64 (.f64 (.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))) (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64))) #s(literal 6880887943736679/9007199254740992 binary64))) #s(literal 5566755282872657/9007199254740992 binary64))
100.0%	1	(.f64 (.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))))) (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))) #s(literal 2 binary64))) #s(literal 6880887943736679/9007199254740992 binary64)))
100.0%	1	`(.f64 x (+.f64 (-.f64 #s(literal 7074237766462943/4503599627370496 binary64) (.f64 (.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) #s(literal 1/2 binary64))) (.f64 (*.f64 #s(literal 1/2 binary64) #s(literal 7074237766462943/4503599627370496 binary64)) (-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))))`

Compiler

Compiled 90 to 56 computations (37.8% saved)

simplify10.0ms (0.3%)

Memory

5.0MiB live, 5.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	25	5
1	34	3
2	41	3
3	58	3
4	70	3

Stop Event

1×

saturated

Calls

Call 1

Inputs

#s(approx (* (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) 5566755282872657/9007199254740992) #s(literal 0 binary64))

Outputs

#s(approx (* (* (* x (+ (- 7074237766462943/4503599627370496 (* (* 1/2 7074237766462943/4503599627370496) 1/2)) (* (* 1/2 7074237766462943/4503599627370496) (- 1 1/2)))) (* (- 1 (pow (+ (- 1 (* 1 1/2)) (* 1 (- 1 1/2))) 2)) 6880887943736679/9007199254740992)) 5566755282872657/9007199254740992) #s(literal 0 binary64))

soundness4.0ms (0.1%)

Memory

0.6MiB live, 0.6MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	1
0	1	1
0	4	4
1	5	4
0	5	4

Stop Event

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

Compiler

Compiled 43 to 31 computations (27.9% saved)

preprocess13.0ms (0.4%)

Memory: 8.9MiB live, 8.9MiB allocated
Compiler: Compiled 152 to 96 computations (36.8% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

(x(1.57079633-((0.51.57079633)0.5)+((0.51.57079633)(1.0-0.5)))((1.0-pow((1.0-(1.00.5))+(1(1.0-0.5)),2))0.763932022500211))0.618033988749895

start0.0ms (0%)

analyze1.0ms (0%)

sample2.3s (71.6%)

explain721.0ms (22.9%)

preprocess15.0ms (0.5%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify4.0ms (0.1%)

localize45.0ms (1.4%)

series2.0ms (0.1%)

simplify2.0ms (0.1%)

rewrite14.0ms (0.4%)

eval1.0ms (0%)

prune1.0ms (0%)

simplify3.0ms (0.1%)

localize39.0ms (1.2%)

series0.0ms (0%)

simplify2.0ms (0.1%)

rewrite7.0ms (0.2%)

eval1.0ms (0%)

prune1.0ms (0%)

regimes6.0ms (0.2%)

simplify10.0ms (0.3%)

soundness4.0ms (0.1%)

preprocess13.0ms (0.4%)

end0.0ms (0%)

Profiling