Metrics for Example 2 from Robby

start0.0ms (0%)

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

analyze591.0ms (14.4%)

Memory

-9.1MiB live, 407.0MiB allocated; 33ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
37.5%	37.4%	62.4%	0.1%	0%	0%	0%	7
37.5%	37.4%	62.4%	0.1%	0%	0%	0%	8
43.8%	43.7%	56.2%	0.1%	0%	0%	0%	9
43.8%	43.7%	56.2%	0.1%	0%	0%	0%	10
43.8%	43.7%	56.2%	0.1%	0%	0%	0%	11
46.9%	46.8%	53%	0.1%	0%	0%	0%	12

Compiler

Compiled 32 to 20 computations (37.5% saved)

sample2.7s (65.2%)

Memory

-215.2MiB live, 1 895.1MiB allocated; 899ms collecting garbage

Samples

2.2s

8 256×

valid

Precisions

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

ival-sin: 443.0ms (23% of total)

ival-cos: 392.0ms (20.4% of total)

ival-neg: 390.0ms (20.3% of total)

ival-mult: 320.0ms (16.6% of total)

ival-tan: 192.0ms (10% of total)

ival-div: 55.0ms (2.9% of total)

ival-atan: 52.0ms (2.7% of total)

ival-fabs: 38.0ms (2% of total)

ival-sub: 35.0ms (1.8% of total)

adjust: 3.0ms (0.2% of total)

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

Bogosity

explain576.0ms (14%)

Memory

9.0MiB live, 387.0MiB allocated; 24ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
97	-	0	-	`(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))`
14	-	1	(-6.108567075910534e-147 -3.6874397596875523e-259 -8.918828949366809e-173)	`(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)`
0	-	0	-	`(.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))`
0	-	0	-	`(atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))`
0	-	0	-	`t`
0	-	0	-	`(neg.f64 eh)`
0	-	0	-	`(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))`
0	-	0	-	`(*.f64 (neg.f64 eh) (tan.f64 t))`
0	-	0	-	`(*.f64 ew (cos.f64 t))`
0	-	0	-	`(sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))`
0	-	0	-	`(sin.f64 t)`
0	-	0	-	`(.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))`
0	-	0	-	`(*.f64 eh (sin.f64 t))`
0	-	0	-	`(-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))`
0	-	0	-	`(cos.f64 t)`
0	-	0	-	`(tan.f64 t)`
0	-	0	-	`ew`
0	-	0	-	`eh`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))`	sensitivity	97	0

Confusion

	Predicted +	Predicted -
+	0	0
-	97	159

Precision

0.0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	97	0	159

Precision?

0.0

Recall?

0/0

Freqs

test

number	freq
0	159
1	97

Total Confusion?

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

Precision?

0.0

Recall?

0/0

Samples

206.0ms	86×	2	valid
79.0ms	108×	1	valid
52.0ms	318×	0	valid

Compiler

Compiled 322 to 58 computations (82% saved)

Precisions

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

ival-sin: 192.0ms (62.6% of total)

ival-cos: 39.0ms (12.7% of total)

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

ival-tan: 18.0ms (5.9% of total)

adjust: 15.0ms (4.9% of total)

ival-atan: 6.0ms (2% of total)

ival-div: 5.0ms (1.6% of total)

ival-fabs: 4.0ms (1.3% of total)

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

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

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

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

preprocess61.0ms (1.5%)

Memory

3.2MiB live, 48.2MiB allocated; 14ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	100	297
1	296	291
2	826	291
3	2173	291
4	5612	291
0	22	30
0	28	30
0	28	30

Stop Event

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

Calls

Call 1

Inputs

(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Outputs

(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 30 to 18 computations (40% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

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

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.8%	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Status

Accuracy

Program

▶

99.8%

(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 30 to 18 computations (40% saved)

series114.0ms (2.8%)

Memory

-26.8MiB live, 62.7MiB allocated; 10ms collecting garbage

Counts

18 → 65

Calls

Call 1

Inputs
(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
(-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))
(.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
(*.f64 ew (cos.f64 t))
ew
(cos.f64 t)
t
(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))
(atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))
(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
(*.f64 (neg.f64 eh) (tan.f64 t))
(neg.f64 eh)
eh
(tan.f64 t)
(.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
(*.f64 eh (sin.f64 t))
(sin.f64 t)
(sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

Outputs
#s(approx (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) #s(hole binary64 (fabs (- (* ew (* (cos t) (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))) (* eh (* (sin t) (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))))))))
#s(approx (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) #s(hole binary64 (* ew (* (cos t) (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))))))
#s(approx (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) #s(hole binary64 (+ (* -1 (* eh (* (sin t) (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))))) (* ew (* (cos t) (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))))))
#s(approx (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) #s(hole binary64 (* ew (* (cos t) (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))))))
#s(approx (cos (atan (/ (* (neg eh) (tan t)) ew))) #s(hole binary64 (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))))
#s(approx (atan (/ (* (neg eh) (tan t)) ew)) #s(hole binary64 (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))
#s(approx (/ (* (neg eh) (tan t)) ew) #s(hole binary64 (* -1 (/ (* eh (sin t)) (* ew (cos t))))))
#s(approx (* (neg eh) (tan t)) #s(hole binary64 (* -1 (/ (* eh (sin t)) (cos t)))))
#s(approx (neg eh) #s(hole binary64 (* -1 eh)))
#s(approx eh #s(hole binary64 eh))
#s(approx (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))) #s(hole binary64 (* eh (* (sin t) (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))))))
#s(approx (* eh (sin t)) #s(hole binary64 (* eh (sin t))))
#s(approx (sin (atan (/ (* (neg eh) (tan t)) ew))) #s(hole binary64 (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))))
#s(approx (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) #s(hole binary64 (* -1 (* eh (* (sin t) (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))))))
#s(approx (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) #s(hole binary64 (* eh (- (/ (* ew (* (cos t) (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))) eh) (* (sin t) (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))))))
#s(approx (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) #s(hole binary64 (* -1 (* eh (- (* -1 (/ (* ew (* (cos t) (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))) eh)) (* -1 (* (sin t) (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))))))))
#s(approx (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) #s(hole binary64 (- (* ew (* (cos t) (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))) (* eh (* (sin t) (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))))))
#s(approx (* ew (cos t)) #s(hole binary64 (* ew (cos t))))
#s(approx ew #s(hole binary64 ew))
#s(approx (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) #s(hole binary64 (* ew (+ (* -1 (/ (* eh (* (sin t) (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))) ew)) (* (cos t) (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))))))
#s(approx (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) #s(hole binary64 (* -1 (* ew (+ (* -1 (* (cos t) (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))) (/ (* eh (* (sin t) (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))) ew))))))
#s(approx (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) #s(hole binary64 (* ew (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))))
#s(approx (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) #s(hole binary64 (+ (* -1 (* eh (* t (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))))) (* ew (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))))))
#s(approx (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) #s(hole binary64 (+ (* ew (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))) (* t (- (* -1/2 (* ew (* t (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))))) (* eh (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))))))))
#s(approx (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) #s(hole binary64 (+ (* ew (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))) (* t (- (* t (+ (* -1/2 (* ew (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))) (* 1/6 (* eh (* t (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))))))) (* eh (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))))))))
#s(approx (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) #s(hole binary64 (* ew (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))))
#s(approx (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) #s(hole binary64 (+ (* -1/2 (* ew (* (pow t 2) (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))))) (* ew (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))))))
#s(approx (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) #s(hole binary64 (+ (* ew (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))) (* (pow t 2) (+ (* -1/2 (* ew (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))) (* 1/24 (* ew (* (pow t 2) (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))))))))))
#s(approx (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) #s(hole binary64 (+ (* ew (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))) (* (pow t 2) (+ (* -1/2 (* ew (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))) (* (pow t 2) (+ (* -1/720 (* ew (* (pow t 2) (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))))) (* 1/24 (* ew (cos (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))))))))))
#s(approx (* ew (cos t)) #s(hole binary64 ew))
#s(approx (* ew (cos t)) #s(hole binary64 (+ ew (* -1/2 (* ew (pow t 2))))))
#s(approx (* ew (cos t)) #s(hole binary64 (+ ew (* (pow t 2) (+ (* -1/2 ew) (* 1/24 (* ew (pow t 2))))))))
#s(approx (* ew (cos t)) #s(hole binary64 (+ ew (* (pow t 2) (+ (* -1/2 ew) (* (pow t 2) (+ (* -1/720 (* ew (pow t 2))) (* 1/24 ew))))))))
#s(approx (cos t) #s(hole binary64 1))
#s(approx (cos t) #s(hole binary64 (+ 1 (* -1/2 (pow t 2)))))
#s(approx (cos t) #s(hole binary64 (+ 1 (* (pow t 2) (- (* 1/24 (pow t 2)) 1/2)))))
#s(approx (cos t) #s(hole binary64 (+ 1 (* (pow t 2) (- (* (pow t 2) (+ 1/24 (* -1/720 (pow t 2)))) 1/2)))))
#s(approx t #s(hole binary64 t))
#s(approx (/ (* (neg eh) (tan t)) ew) #s(hole binary64 (* -1 (/ (* eh t) ew))))
#s(approx (/ (* (neg eh) (tan t)) ew) #s(hole binary64 (* t (+ (* -1 (/ eh ew)) (* -1/3 (/ (* eh (pow t 2)) ew))))))
#s(approx (/ (* (neg eh) (tan t)) ew) #s(hole binary64 (* t (+ (* -1 (/ eh ew)) (* (pow t 2) (+ (* -1/3 (/ eh ew)) (* -2/15 (/ (* eh (pow t 2)) ew))))))))
#s(approx (/ (* (neg eh) (tan t)) ew) #s(hole binary64 (* t (+ (* -1 (/ eh ew)) (* (pow t 2) (+ (* -1/3 (/ eh ew)) (* (pow t 2) (+ (* -2/15 (/ eh ew)) (* -17/315 (/ (* eh (pow t 2)) ew))))))))))
#s(approx (* (neg eh) (tan t)) #s(hole binary64 (* -1 (* eh t))))
#s(approx (* (neg eh) (tan t)) #s(hole binary64 (* t (+ (* -1 eh) (* -1/3 (* eh (pow t 2)))))))
#s(approx (* (neg eh) (tan t)) #s(hole binary64 (* t (+ (* -1 eh) (* (pow t 2) (+ (* -1/3 eh) (* -2/15 (* eh (pow t 2)))))))))
#s(approx (* (neg eh) (tan t)) #s(hole binary64 (* t (+ (* -1 eh) (* (pow t 2) (+ (* -1/3 eh) (* (pow t 2) (+ (* -2/15 eh) (* -17/315 (* eh (pow t 2)))))))))))
#s(approx (tan t) #s(hole binary64 t))
#s(approx (tan t) #s(hole binary64 (* t (+ 1 (* 1/3 (pow t 2))))))
#s(approx (tan t) #s(hole binary64 (* t (+ 1 (* (pow t 2) (+ 1/3 (* 2/15 (pow t 2))))))))
#s(approx (tan t) #s(hole binary64 (* t (+ 1 (* (pow t 2) (+ 1/3 (* (pow t 2) (+ 2/15 (* 17/315 (pow t 2))))))))))
#s(approx (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))) #s(hole binary64 (* eh (* t (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))))))
#s(approx (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))) #s(hole binary64 (* t (+ (* -1/6 (* eh (* (pow t 2) (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))))) (* eh (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))))))
#s(approx (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))) #s(hole binary64 (* t (+ (* eh (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))) (* (pow t 2) (+ (* -1/6 (* eh (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))) (* 1/120 (* eh (* (pow t 2) (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))))))))))
#s(approx (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))) #s(hole binary64 (* t (+ (* eh (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))) (* (pow t 2) (+ (* -1/6 (* eh (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t)))))))) (* (pow t 2) (+ (* -1/5040 (* eh (* (pow t 2) (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))))) (* 1/120 (* eh (sin (atan (* -1 (/ (* eh (sin t)) (* ew (cos t))))))))))))))))
#s(approx (* eh (sin t)) #s(hole binary64 (* eh t)))
#s(approx (* eh (sin t)) #s(hole binary64 (* t (+ eh (* -1/6 (* eh (pow t 2)))))))
#s(approx (* eh (sin t)) #s(hole binary64 (* t (+ eh (* (pow t 2) (+ (* -1/6 eh) (* 1/120 (* eh (pow t 2)))))))))
#s(approx (* eh (sin t)) #s(hole binary64 (* t (+ eh (* (pow t 2) (+ (* -1/6 eh) (* (pow t 2) (+ (* -1/5040 (* eh (pow t 2))) (* 1/120 eh)))))))))
#s(approx (sin t) #s(hole binary64 t))
#s(approx (sin t) #s(hole binary64 (* t (+ 1 (* -1/6 (pow t 2))))))
#s(approx (sin t) #s(hole binary64 (* t (+ 1 (* (pow t 2) (- (* 1/120 (pow t 2)) 1/6))))))
#s(approx (sin t) #s(hole binary64 (* t (+ 1 (* (pow t 2) (- (* (pow t 2) (+ 1/120 (* -1/5040 (pow t 2)))) 1/6))))))
#s(approx (cos t) #s(hole binary64 (cos t)))
#s(approx (tan t) #s(hole binary64 (/ (sin t) (cos t))))
#s(approx (sin t) #s(hole binary64 (sin t)))

Calls

9 calls:

Time	Variable		Point	Expression
40.0ms	t	@	0	((fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* ew (cos t)) ew (cos t) t (cos (atan (/ (* (neg eh) (tan t)) ew))) (atan (/ (* (neg eh) (tan t)) ew)) (/ (* (neg eh) (tan t)) ew) (* (neg eh) (tan t)) (neg eh) eh (tan t) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))) (* eh (sin t)) (sin t) (sin (atan (/ (* (neg eh) (tan t)) ew))))
35.0ms	eh	@	0	((fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* ew (cos t)) ew (cos t) t (cos (atan (/ (* (neg eh) (tan t)) ew))) (atan (/ (* (neg eh) (tan t)) ew)) (/ (* (neg eh) (tan t)) ew) (* (neg eh) (tan t)) (neg eh) eh (tan t) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))) (* eh (sin t)) (sin t) (sin (atan (/ (* (neg eh) (tan t)) ew))))
8.0ms	ew	@	inf	((fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* ew (cos t)) ew (cos t) t (cos (atan (/ (* (neg eh) (tan t)) ew))) (atan (/ (* (neg eh) (tan t)) ew)) (/ (* (neg eh) (tan t)) ew) (* (neg eh) (tan t)) (neg eh) eh (tan t) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))) (* eh (sin t)) (sin t) (sin (atan (/ (* (neg eh) (tan t)) ew))))
7.0ms	eh	@	inf	((fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* ew (cos t)) ew (cos t) t (cos (atan (/ (* (neg eh) (tan t)) ew))) (atan (/ (* (neg eh) (tan t)) ew)) (/ (* (neg eh) (tan t)) ew) (* (neg eh) (tan t)) (neg eh) eh (tan t) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))) (* eh (sin t)) (sin t) (sin (atan (/ (* (neg eh) (tan t)) ew))))
5.0ms	t	@	inf	((fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* ew (cos t)) ew (cos t) t (cos (atan (/ (* (neg eh) (tan t)) ew))) (atan (/ (* (neg eh) (tan t)) ew)) (/ (* (neg eh) (tan t)) ew) (* (neg eh) (tan t)) (neg eh) eh (tan t) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))) (* eh (sin t)) (sin t) (sin (atan (/ (* (neg eh) (tan t)) ew))))

rewrite89.0ms (2.2%)

Memory

-7.2MiB live, 40.3MiB allocated; 14ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	382	2411
1	515	2407
2	519	2403
3	522	2403
4	523	2403
5	524	2403
6	526	2403
7	528	2403
8	529	2403
9	530	2403
0	530	2403
0	530	2399
1	632	2399
2	722	2399
3	797	2399
4	856	2399
5	897	2399
6	925	2399
7	937	2399

Stop Event

1×	saturated
1×	node limit
1×	saturated

end0.0ms (0%)

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

start0.0ms (0%)

analyze591.0ms (14.4%)

sample2.7s (65.2%)

explain576.0ms (14%)

preprocess61.0ms (1.5%)

eval0.0ms (0%)

prune1.0ms (0%)

series114.0ms (2.8%)

rewrite89.0ms (2.2%)

end0.0ms (0%)

Profiling