Metrics for Toniolo and Linder, Equation (10-)

analyze578.0ms (3.7%)

Memory

8.9MiB live, 205.4MiB 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%	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
0%	0%	99.9%	0.1%	0%	0%	0%	7
0%	0%	99.9%	0.1%	0%	0%	0%	8
0%	0%	99.9%	0.1%	0%	0%	0%	9
2%	2%	97.9%	0.1%	0%	0%	0%	10
2.9%	2.9%	96.9%	0.1%	0%	0%	0%	11
3.8%	3.8%	96.1%	0.1%	0%	0%	0%	12

Compiler

Compiled 56 to 41 computations (26.8% saved)

sample14.8s (95.7%)

Memory

-78.6MiB live, 2 995.5MiB allocated

Samples

2.5s	1 434×	2336	valid-baseline
2.0s	727×	4672	valid-baseline
1.6s	1 434×	2336	valid-sollya
1.3s	727×	4672	valid-sollya
787.0ms	946×	1168	valid-baseline
743.0ms	4 201×	73	valid-baseline
661.0ms	4 201×	73	valid-rival
493.0ms	946×	1168	valid-sollya
489.0ms	4 201×	73	valid-sollya
434.0ms	1 434×	2336	valid-rival
343.0ms	535×	584	valid-baseline
268.0ms	946×	1168	valid-rival
229.0ms	727×	4672	valid-rival
141.0ms	535×	584	valid-sollya
127.0ms	535×	584	valid-rival
115.0ms	252×	292	valid-baseline
60.0ms	252×	292	valid-rival
43.0ms	136×	146	valid-baseline
30.0ms	136×	146	valid-rival
29.0ms	252×	292	valid-sollya
16.0ms	136×	146	valid-sollya
4.0ms	13×	4672	valid-rival+sollya-inf
1.0ms	4×	4672	valid-rival+baseline-inf
1.0ms	3×	4672	valid-rival-only-inf
1.0ms	2×	2336	valid-rival+baseline-inf
0.0ms	1×	2336	valid-rival+sollya-zero
0.0ms	1×	2336	valid-rival+baseline-zero
0.0ms	1×	4672	valid-rival+sollya-real

Precisions

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

ival-pow: 389.0ms (25.1% of total)

ival-mult: 252.0ms (16.3% of total)

ival-div: 242.0ms (15.6% of total)

ival-sin: 174.0ms (11.2% of total)

adjust: 173.0ms (11.2% of total)

ival-tan: 146.0ms (9.4% of total)

ival-add: 76.0ms (4.9% of total)

ival-sub: 71.0ms (4.6% of total)

...in/eval/compile.rkt:110:19: 14.0ms (0.9% of total)

ival-true: 8.0ms (0.5% of total)

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

Precisions

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

ival-tan: 2.5s (39.5% of total)

ival-sin: 1.7s (26.8% of total)

ival-pow: 739.0ms (11.6% of total)

ival-mult: 607.0ms (9.5% of total)

ival-div: 499.0ms (7.8% of total)

ival-add: 131.0ms (2.1% of total)

ival-sub: 119.0ms (1.9% of total)

const: 48.0ms (0.8% of total)

Bogosity

preprocess60.0ms (0.4%)

Memory

6.6MiB live, 22.3MiB allocated

Algorithm

1×	egg-herbie

Rules

748×	`associate-l`
640×	`times-frac`
618×	`associate-r`
515×	`associate-/r*`
329×	`associate-*r/`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	93	1080
1	257	990
2	1094	924

Stop Event

1×	node limit

Calls

Call 1

Inputs
(/.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (/.f64 (pow.f64 (neg.f64 t) #s(literal 3 binary64)) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k (neg.f64 t)) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 (neg.f64 l) (neg.f64 l))) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 l l)) (sin.f64 (neg.f64 k))) (tan.f64 (neg.f64 k))) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (neg.f64 k) t) #s(literal 2 binary64))) #s(literal 1 binary64))))
(neg.f64 (/.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (/.f64 (pow.f64 (neg.f64 t) #s(literal 3 binary64)) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k (neg.f64 t)) #s(literal 2 binary64))) #s(literal 1 binary64)))))
(neg.f64 (/.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 (neg.f64 l) (neg.f64 l))) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64)))))
(neg.f64 (/.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 l l)) (sin.f64 (neg.f64 k))) (tan.f64 (neg.f64 k))) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (neg.f64 k) t) #s(literal 2 binary64))) #s(literal 1 binary64)))))
(/.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (/.f64 (pow.f64 l #s(literal 3 binary64)) (.f64 t t)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k l) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (/.f64 (pow.f64 k #s(literal 3 binary64)) (.f64 l l)) (sin.f64 t)) (tan.f64 t)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 t k) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 k k)) (sin.f64 l)) (tan.f64 l)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 l t) #s(literal 2 binary64))) #s(literal 1 binary64))))

Outputs
(/.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (.f64 (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 l l)) (.f64 (sin.f64 k) (tan.f64 k))) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (/.f64 k t) #s(literal 2 binary64)) #s(literal 1 binary64)))))
(/.f64 (/.f64 #s(literal 2 binary64) (+.f64 (pow.f64 (/.f64 k t) #s(literal 2 binary64)) #s(literal 0 binary64))) (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 l l)) (*.f64 (sin.f64 k) (tan.f64 k))))
(.f64 (/.f64 #s(literal 2 binary64) (.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 (sin.f64 k) (.f64 (tan.f64 k) (pow.f64 (/.f64 k t) #s(literal 2 binary64)))))) (*.f64 l l))
(/.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (.f64 (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 l l)) (.f64 (sin.f64 k) (tan.f64 k))) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (/.f64 k t) #s(literal 2 binary64)) #s(literal 1 binary64)))))
(/.f64 (/.f64 #s(literal 2 binary64) (+.f64 (pow.f64 (/.f64 k t) #s(literal 2 binary64)) #s(literal 0 binary64))) (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 l l)) (*.f64 (sin.f64 k) (tan.f64 k))))
(.f64 (/.f64 #s(literal 2 binary64) (.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 (sin.f64 k) (.f64 (tan.f64 k) (pow.f64 (/.f64 k t) #s(literal 2 binary64)))))) (*.f64 l l))
(/.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (/.f64 (pow.f64 (neg.f64 t) #s(literal 3 binary64)) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k (neg.f64 t)) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 (/.f64 #s(literal 2 binary64) (.f64 (/.f64 (pow.f64 (neg.f64 t) #s(literal 3 binary64)) (.f64 l l)) (*.f64 (sin.f64 k) (tan.f64 k)))) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (/.f64 k (neg.f64 t)) #s(literal 2 binary64)) #s(literal 1 binary64))))
(/.f64 #s(literal -2 binary64) (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 l l)) (.f64 (sin.f64 k) (.f64 (tan.f64 k) (+.f64 (pow.f64 (/.f64 k t) #s(literal 2 binary64)) #s(literal 0 binary64))))))
(/.f64 (/.f64 (/.f64 (/.f64 #s(literal -2 binary64) (pow.f64 t #s(literal 3 binary64))) (/.f64 (/.f64 (sin.f64 k) l) l)) (tan.f64 k)) (pow.f64 (/.f64 k t) #s(literal 2 binary64)))
(/.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 (neg.f64 l) (neg.f64 l))) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (.f64 (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 l l)) (.f64 (sin.f64 k) (tan.f64 k))) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (/.f64 k t) #s(literal 2 binary64)) #s(literal 1 binary64)))))
(/.f64 (/.f64 #s(literal 2 binary64) (+.f64 (pow.f64 (/.f64 k t) #s(literal 2 binary64)) #s(literal 0 binary64))) (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 l l)) (*.f64 (sin.f64 k) (tan.f64 k))))
(.f64 (/.f64 #s(literal 2 binary64) (.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 (sin.f64 k) (.f64 (tan.f64 k) (pow.f64 (/.f64 k t) #s(literal 2 binary64)))))) (*.f64 l l))
(/.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 l l)) (sin.f64 (neg.f64 k))) (tan.f64 (neg.f64 k))) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (neg.f64 k) t) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (.f64 (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 l l)) (.f64 (sin.f64 k) (tan.f64 k))) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (/.f64 k t) #s(literal 2 binary64)) #s(literal 1 binary64)))))
(/.f64 (/.f64 #s(literal 2 binary64) (+.f64 (pow.f64 (/.f64 k t) #s(literal 2 binary64)) #s(literal 0 binary64))) (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 l l)) (*.f64 (sin.f64 k) (tan.f64 k))))
(.f64 (/.f64 #s(literal 2 binary64) (.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 (sin.f64 k) (.f64 (tan.f64 k) (pow.f64 (/.f64 k t) #s(literal 2 binary64)))))) (*.f64 l l))
(neg.f64 (/.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (/.f64 (pow.f64 (neg.f64 t) #s(literal 3 binary64)) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k (neg.f64 t)) #s(literal 2 binary64))) #s(literal 1 binary64)))))
(/.f64 #s(literal 2 binary64) (.f64 (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 l l)) (.f64 (sin.f64 k) (tan.f64 k))) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (/.f64 k t) #s(literal 2 binary64)) #s(literal 1 binary64)))))
(/.f64 (/.f64 #s(literal 2 binary64) (+.f64 (pow.f64 (/.f64 k t) #s(literal 2 binary64)) #s(literal 0 binary64))) (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 l l)) (*.f64 (sin.f64 k) (tan.f64 k))))
(.f64 (/.f64 #s(literal 2 binary64) (.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 (sin.f64 k) (.f64 (tan.f64 k) (pow.f64 (/.f64 k t) #s(literal 2 binary64)))))) (*.f64 l l))
(neg.f64 (/.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 (neg.f64 l) (neg.f64 l))) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64)))))
(/.f64 (/.f64 #s(literal 2 binary64) (.f64 (/.f64 (pow.f64 (neg.f64 t) #s(literal 3 binary64)) (.f64 l l)) (*.f64 (sin.f64 k) (tan.f64 k)))) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (/.f64 k (neg.f64 t)) #s(literal 2 binary64)) #s(literal 1 binary64))))
(/.f64 #s(literal -2 binary64) (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 l l)) (.f64 (sin.f64 k) (.f64 (tan.f64 k) (+.f64 (pow.f64 (/.f64 k t) #s(literal 2 binary64)) #s(literal 0 binary64))))))
(/.f64 (/.f64 (/.f64 (/.f64 #s(literal -2 binary64) (pow.f64 t #s(literal 3 binary64))) (/.f64 (/.f64 (sin.f64 k) l) l)) (tan.f64 k)) (pow.f64 (/.f64 k t) #s(literal 2 binary64)))
(neg.f64 (/.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 l l)) (sin.f64 (neg.f64 k))) (tan.f64 (neg.f64 k))) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (neg.f64 k) t) #s(literal 2 binary64))) #s(literal 1 binary64)))))
(/.f64 (/.f64 #s(literal 2 binary64) (.f64 (/.f64 (pow.f64 (neg.f64 t) #s(literal 3 binary64)) (.f64 l l)) (*.f64 (sin.f64 k) (tan.f64 k)))) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (/.f64 k (neg.f64 t)) #s(literal 2 binary64)) #s(literal 1 binary64))))
(/.f64 #s(literal -2 binary64) (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 l l)) (.f64 (sin.f64 k) (.f64 (tan.f64 k) (+.f64 (pow.f64 (/.f64 k t) #s(literal 2 binary64)) #s(literal 0 binary64))))))
(/.f64 (/.f64 (/.f64 (/.f64 #s(literal -2 binary64) (pow.f64 t #s(literal 3 binary64))) (/.f64 (/.f64 (sin.f64 k) l) l)) (tan.f64 k)) (pow.f64 (/.f64 k t) #s(literal 2 binary64)))
(/.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (/.f64 (pow.f64 l #s(literal 3 binary64)) (.f64 t t)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k l) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 l #s(literal 3 binary64)) (.f64 t t))) (.f64 (tan.f64 k) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (/.f64 k l) #s(literal 2 binary64)) #s(literal 1 binary64))))))
(/.f64 (/.f64 #s(literal 2 binary64) (.f64 (/.f64 (pow.f64 l #s(literal 3 binary64)) (.f64 t t)) (*.f64 (sin.f64 k) (tan.f64 k)))) (+.f64 (pow.f64 (/.f64 k l) #s(literal 2 binary64)) #s(literal 0 binary64)))
(/.f64 (/.f64 #s(literal 2 binary64) (.f64 (pow.f64 l #s(literal 3 binary64)) (/.f64 (.f64 (sin.f64 k) (tan.f64 k)) (*.f64 t t)))) (pow.f64 (/.f64 k l) #s(literal 2 binary64)))
(/.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (/.f64 (pow.f64 k #s(literal 3 binary64)) (.f64 l l)) (sin.f64 t)) (tan.f64 t)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 t k) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 (/.f64 #s(literal 2 binary64) (.f64 (.f64 (/.f64 (/.f64 (pow.f64 k #s(literal 3 binary64)) l) l) (sin.f64 t)) (tan.f64 t))) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (/.f64 t k) #s(literal 2 binary64)) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (/.f64 (.f64 (.f64 (pow.f64 k #s(literal 3 binary64)) (sin.f64 t)) (.f64 (tan.f64 t) (+.f64 (pow.f64 (/.f64 t k) #s(literal 2 binary64)) #s(literal 0 binary64)))) (.f64 l l)))
(/.f64 (/.f64 (/.f64 #s(literal 2 binary64) (/.f64 (/.f64 (pow.f64 k #s(literal 3 binary64)) l) l)) (*.f64 (sin.f64 t) (tan.f64 t))) (pow.f64 (/.f64 t k) #s(literal 2 binary64)))
(/.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 k k)) (sin.f64 l)) (tan.f64 l)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 l t) #s(literal 2 binary64))) #s(literal 1 binary64))))
(/.f64 (/.f64 #s(literal 2 binary64) (.f64 (/.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) k) k) (.f64 (sin.f64 l) (tan.f64 l)))) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (/.f64 l t) #s(literal 2 binary64)) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (.f64 (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 k k)) (.f64 (sin.f64 l) (tan.f64 l))) (+.f64 (pow.f64 (/.f64 l t) #s(literal 2 binary64)) #s(literal 0 binary64))))
(/.f64 (/.f64 (.f64 (/.f64 #s(literal 2 binary64) (pow.f64 t #s(literal 3 binary64))) (.f64 k k)) (sin.f64 l)) (*.f64 (tan.f64 l) (pow.f64 (/.f64 l t) #s(literal 2 binary64))))

Symmetry

(abs l)

(abs k)

(negabs t)

Compiler

Compiled 28 to 19 computations (32.1% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	39.4%	(/.f64 #s(literal 2 binary64) (.f64 (.f64 (.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))))

Status

Accuracy

Program

39.4%

(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))))

Compiler

Compiled 56 to 38 computations (32.1% saved)

simplify3.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative`
3×	`1-exp`
3×	`+-commutative`
2×	`unsub-neg`
2×	`sub-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	96
1	37	96
2	41	96
3	44	96
4	47	96
5	50	96

Stop Event

1×

saturated

Calls

Call 1

Inputs

(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))))

Outputs

(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal 1 binary64))))

(/.f64 #s(literal 2 binary64) (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t #s(literal 3 binary64)) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (/.f64 k t) #s(literal 2 binary64))) #s(literal -1 binary64))))

soundness0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 28 to 20 computations (28.6% saved)

preprocess29.0ms (0.2%)

Memory

-4.7MiB live, 27.7MiB allocated

Remove

(negabs t)

(abs k)

(abs l)

Compiler

Compiled 448 to 318 computations (29% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze578.0ms (3.7%)

sample14.8s (95.7%)

preprocess60.0ms (0.4%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify3.0ms (0%)

soundness0.0ms (0%)

preprocess29.0ms (0.2%)

end0.0ms (0%)

Profiling