Metrics for Diagrams.Tangent:$catParam from diagrams-lib-1.3.0.3, D

analyze13.0ms (0.7%)

Memory

4.2MiB live, 4.2MiB allocated

Algorithm

1×

Search

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

Compiler

Compiled 30 to 23 computations (23.3% saved)

sample1.8s (88.9%)

Memory

8.3MiB live, 555.6MiB allocated

Samples

415.0ms	8 256×	valid-baseline
391.0ms	8 256×	valid-rival
289.0ms	8 256×	valid-sollya

Bogosity

preprocess181.0ms (8.9%)

Memory

-10.4MiB live, 20.0MiB allocated

Algorithm

1×	egg-herbie

Rules

1 144×	`fmm-def`
328×	`fma-define`
142×	`distribute-lft-in`
128×	`distribute-lft-neg-in`
113×	`unsub-neg`

Iterations

Useful iterations: 9 (0.0ms)

Iter	Nodes	Cost
0	23	200
1	80	144
2	220	124
3	746	116
4	1927	108
5	2729	108
6	2887	108
7	2913	108
8	2915	108
9	2915	92
10	3616	92
11	3616	92

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.f64 #s(literal 3 binary64) (+.f64 (-.f64 (.f64 (.f64 x #s(literal 3 binary64)) x) (.f64 x #s(literal 4 binary64))) #s(literal 1 binary64)))
(.f64 #s(literal 3 binary64) (+.f64 (-.f64 (.f64 (.f64 x #s(literal 3 binary64)) x) (.f64 x #s(literal 4 binary64))) #s(literal 1 binary64)))
(.f64 #s(literal 3 binary64) (+.f64 (-.f64 (.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) (neg.f64 x)) (.f64 (neg.f64 x) #s(literal 4 binary64))) #s(literal 1 binary64)))
(neg.f64 (.f64 #s(literal 3 binary64) (+.f64 (-.f64 (.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) (neg.f64 x)) (.f64 (neg.f64 x) #s(literal 4 binary64))) #s(literal 1 binary64))))

Outputs
(.f64 #s(literal 3 binary64) (+.f64 (-.f64 (.f64 (.f64 x #s(literal 3 binary64)) x) (.f64 x #s(literal 4 binary64))) #s(literal 1 binary64)))
(.f64 #s(literal 3 binary64) (-.f64 (.f64 x (.f64 #s(literal 3 binary64) x)) (-.f64 (.f64 x #s(literal 4 binary64)) #s(literal 1 binary64))))
(fma.f64 #s(literal 3 binary64) (.f64 x (-.f64 (.f64 #s(literal 3 binary64) x) #s(literal 4 binary64))) #s(literal 3 binary64))
(*.f64 #s(literal 3 binary64) (fma.f64 x (fma.f64 #s(literal 3 binary64) x #s(literal -4 binary64)) #s(literal 1 binary64)))
(fma.f64 x (+.f64 #s(literal -12 binary64) (*.f64 x #s(literal 9 binary64))) #s(literal 3 binary64))
(fma.f64 x (fma.f64 x #s(literal 9 binary64) #s(literal -12 binary64)) #s(literal 3 binary64))
(.f64 #s(literal 3 binary64) (+.f64 (-.f64 (.f64 (.f64 x #s(literal 3 binary64)) x) (.f64 x #s(literal 4 binary64))) #s(literal 1 binary64)))
(.f64 #s(literal 3 binary64) (-.f64 (.f64 x (.f64 #s(literal 3 binary64) x)) (-.f64 (.f64 x #s(literal 4 binary64)) #s(literal 1 binary64))))
(fma.f64 #s(literal 3 binary64) (.f64 x (-.f64 (.f64 #s(literal 3 binary64) x) #s(literal 4 binary64))) #s(literal 3 binary64))
(*.f64 #s(literal 3 binary64) (fma.f64 x (fma.f64 #s(literal 3 binary64) x #s(literal -4 binary64)) #s(literal 1 binary64)))
(fma.f64 x (+.f64 #s(literal -12 binary64) (*.f64 x #s(literal 9 binary64))) #s(literal 3 binary64))
(fma.f64 x (fma.f64 x #s(literal 9 binary64) #s(literal -12 binary64)) #s(literal 3 binary64))
(.f64 #s(literal 3 binary64) (+.f64 (-.f64 (.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) (neg.f64 x)) (.f64 (neg.f64 x) #s(literal 4 binary64))) #s(literal 1 binary64)))
(+.f64 (.f64 #s(literal 3 binary64) (+.f64 (.f64 (neg.f64 x) (.f64 #s(literal 3 binary64) (neg.f64 x))) (.f64 x #s(literal 4 binary64)))) #s(literal 3 binary64))
(fma.f64 #s(literal 3 binary64) (.f64 (neg.f64 x) (-.f64 (.f64 x #s(literal -3 binary64)) #s(literal 4 binary64))) #s(literal 3 binary64))
(fma.f64 #s(literal 3 binary64) (.f64 x (+.f64 (.f64 #s(literal 3 binary64) x) #s(literal 4 binary64))) #s(literal 3 binary64))
(fma.f64 (*.f64 x #s(literal -3 binary64)) (fma.f64 x #s(literal -3 binary64) #s(literal -4 binary64)) #s(literal 3 binary64))
(fma.f64 x (+.f64 #s(literal 12 binary64) (*.f64 x #s(literal 9 binary64))) #s(literal 3 binary64))
(fma.f64 x (fma.f64 x #s(literal 9 binary64) #s(literal 12 binary64)) #s(literal 3 binary64))
(neg.f64 (.f64 #s(literal 3 binary64) (+.f64 (-.f64 (.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) (neg.f64 x)) (.f64 (neg.f64 x) #s(literal 4 binary64))) #s(literal 1 binary64))))
(.f64 #s(literal -3 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 (neg.f64 x) (.f64 #s(literal 3 binary64) (neg.f64 x))) (.f64 x #s(literal 4 binary64)))))
(+.f64 #s(literal -3 binary64) (.f64 (.f64 (neg.f64 x) (-.f64 (*.f64 x #s(literal -3 binary64)) #s(literal 4 binary64))) #s(literal -3 binary64)))
(+.f64 #s(literal -3 binary64) (.f64 #s(literal 3 binary64) (.f64 x (fma.f64 x #s(literal -3 binary64) #s(literal -4 binary64)))))
(*.f64 #s(literal 3 binary64) (fma.f64 x (fma.f64 x #s(literal -3 binary64) #s(literal -4 binary64)) #s(literal -1 binary64)))
(fma.f64 x (+.f64 #s(literal -12 binary64) (*.f64 x #s(literal -9 binary64))) #s(literal -3 binary64))
(fma.f64 x (fma.f64 x #s(literal -9 binary64) #s(literal -12 binary64)) #s(literal -3 binary64))

Compiler

Compiled 14 to 10 computations (28.6% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.8%	(.f64 #s(literal 3 binary64) (+.f64 (-.f64 (.f64 (.f64 x #s(literal 3 binary64)) x) (.f64 x #s(literal 4 binary64))) #s(literal 1 binary64)))

Compiler

Compiled 28 to 20 computations (28.6% saved)

simplify2.0ms (0.1%)

Memory

0.6MiB live, 0.6MiB allocated

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative`
5×	`+-commutative`
4×	`sub-neg`
3×	`1-exp`
3×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	46
1	30	46
2	41	46
3	47	46
4	51	46
5	52	46

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.f64 #s(literal 3 binary64) (+.f64 (-.f64 (.f64 (.f64 x #s(literal 3 binary64)) x) (.f64 x #s(literal 4 binary64))) #s(literal 1 binary64)))

Outputs

(*.f64 #s(literal 3 binary64) (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 3 binary64)) x) (*.f64 x #s(literal 4 binary64))) #s(literal 1 binary64)))

(*.f64 #s(literal 3 binary64) (+.f64 (-.f64 (*.f64 x (*.f64 #s(literal 3 binary64) x)) (*.f64 x #s(literal 4 binary64))) #s(literal 1 binary64)))

soundness0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 14 to 10 computations (28.6% saved)

preprocess27.0ms (1.3%)

Memory: -1.8MiB live, 31.8MiB allocated
Compiler: Compiled 80 to 58 computations (27.5% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze13.0ms (0.7%)

sample1.8s (88.9%)

preprocess181.0ms (8.9%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

preprocess27.0ms (1.3%)

end0.0ms (0%)

Profiling