Metrics for Toniolo and Linder, Equation (10-)

analyze575.0ms (4%)

Memory

0.0MiB live, 204.6MiB 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)

sample13.9s (95.4%)

Memory

1.0MiB live, 2 782.8MiB allocated

Samples

2.2s	1 365×	2	valid-baseline
2.1s	798×	3	valid-baseline
1.5s	1 365×	2	valid-sollya
1.5s	798×	3	valid-sollya
1.1s	1 822×	1	valid-baseline
668.0ms	4 248×	0	valid-rival
665.0ms	4 248×	0	valid-baseline
596.0ms	1 822×	1	valid-sollya
488.0ms	4 248×	0	valid-sollya
428.0ms	1 822×	1	valid-rival
385.0ms	1 365×	2	valid-rival
251.0ms	798×	3	valid-rival
5.0ms	15×	3	valid-rival+sollya-inf
1.0ms	5×	3	valid-rival+baseline-inf
1.0ms	2×	3	valid-rival-only-inf
0.0ms	1×	3	valid-rival+baseline-real

Bogosity

preprocess61.0ms (0.4%)

Memory

5.8MiB live, 22.2MiB 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)

prune2.0ms (0%)

Memory

-14.9MiB live, 0.9MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	35.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

35.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.9MiB live, 0.9MiB 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)

preprocess30.0ms (0.2%)

Memory

1.5MiB live, 32.3MiB 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

analyze575.0ms (4%)

sample13.9s (95.4%)

preprocess61.0ms (0.4%)

eval0.0ms (0%)

prune2.0ms (0%)

simplify3.0ms (0%)

soundness0.0ms (0%)

preprocess30.0ms (0.2%)

end0.0ms (0%)

Profiling