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

analyze1.0ms (0%)

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 15 to 11 computations (26.7% saved)

sample5.3s (92.8%)

Results

514.0ms	8256×	0	valid-sollya
1.8s	8256×	0	valid-rival

Bogosity

preprocess301.0ms (5.2%)

Algorithm

1×	egg-herbie

Rules

1144×	`fma-neg`
328×	`fma-define`
142×	`distribute-lft-in`
129×	`distribute-lft-neg-in`
124×	`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	2730	108
6	2889	108
7	2915	108
8	2917	108
9	2917	92
10	3618	92
11	3618	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)

eval1.0ms (0%)

Compiler: Compiled 1 to 1 computations (0% saved)

prune4.0ms (0.1%)

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)

simplify7.0ms (0.1%)

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)))

soundness1.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 14 to 10 computations (28.6% saved)

preprocess102.0ms (1.8%)

Compiler: Compiled 80 to 58 computations (27.5% saved)

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

analyze1.0ms (0%)

sample5.3s (92.8%)

preprocess301.0ms (5.2%)

eval1.0ms (0%)

prune4.0ms (0.1%)

simplify7.0ms (0.1%)

soundness1.0ms (0%)

preprocess102.0ms (1.8%)

end0.0ms (0%)

Profiling