Metrics for Diagrams.Trail:splitAtParam from diagrams-lib-1.3.0.3, A

analyze176.0ms (5.7%)

Memory

-1.0MiB live, 81.7MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
25%	25%	74.9%	0.2%	0%	0%	0%	5
37.5%	37.4%	62.4%	0.2%	0%	0%	0%	6
37.5%	37.4%	62.4%	0.2%	0%	0%	0%	7
37.5%	37.4%	62.4%	0.2%	0%	0%	0%	8
40.6%	40.5%	59.3%	0.2%	0%	0%	0%	9
49.2%	49.1%	50.7%	0.2%	0%	0%	0%	10
49.2%	49.1%	50.7%	0.2%	0%	0%	0%	11
54.3%	54.2%	45.6%	0.2%	0%	0%	0%	12

Compiler

Compiled 41 to 29 computations (29.3% saved)

sample2.7s (89.9%)

Memory

-2.4MiB live, 877.2MiB allocated

Samples

588.0ms	8 256×	valid-baseline
545.0ms	8 256×	valid-rival
532.0ms	8 256×	valid-sollya

Bogosity

preprocess105.0ms (3.4%)

Memory

-8.2MiB live, 24.7MiB allocated

Algorithm

1×	egg-herbie

Rules

887×	`div-sub`
520×	`sub-neg`
358×	`fma-define`
307×	`fmm-def`
263×	`distribute-lft-neg-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	90	1248
1	232	1164
2	474	1152
3	1399	1120
4	4518	1120

Stop Event

1×	node limit

Calls

Call 1

Inputs
(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 (neg.f64 x) (/.f64 (-.f64 (.f64 y z) (neg.f64 x)) (-.f64 (.f64 t z) (neg.f64 x)))) (+.f64 (neg.f64 x) #s(literal 1 binary64)))
(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 (neg.f64 y) z) x) (-.f64 (.f64 t z) x))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y (neg.f64 z)) x) (-.f64 (.f64 t (neg.f64 z)) x))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 (neg.f64 t) z) x))) (+.f64 x #s(literal 1 binary64)))
(neg.f64 (/.f64 (+.f64 (neg.f64 x) (/.f64 (-.f64 (.f64 y z) (neg.f64 x)) (-.f64 (.f64 t z) (neg.f64 x)))) (+.f64 (neg.f64 x) #s(literal 1 binary64))))
(neg.f64 (/.f64 (+.f64 x (/.f64 (-.f64 (.f64 (neg.f64 y) z) x) (-.f64 (.f64 t z) x))) (+.f64 x #s(literal 1 binary64))))
(neg.f64 (/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y (neg.f64 z)) x) (-.f64 (.f64 t (neg.f64 z)) x))) (+.f64 x #s(literal 1 binary64))))
(neg.f64 (/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 (neg.f64 t) z) x))) (+.f64 x #s(literal 1 binary64))))
(/.f64 (+.f64 y (/.f64 (-.f64 (.f64 x z) y) (-.f64 (.f64 t z) y))) (+.f64 y #s(literal 1 binary64)))
(/.f64 (+.f64 z (/.f64 (-.f64 (.f64 y x) z) (-.f64 (.f64 t x) z))) (+.f64 z #s(literal 1 binary64)))
(/.f64 (+.f64 t (/.f64 (-.f64 (.f64 y z) t) (-.f64 (.f64 x z) t))) (+.f64 t #s(literal 1 binary64)))
(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 z y) x) (-.f64 (.f64 t y) x))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 t z) x) (-.f64 (.f64 y z) x))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y t) x) (-.f64 (.f64 z t) x))) (+.f64 x #s(literal 1 binary64)))

Outputs
(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 (neg.f64 x) (/.f64 (-.f64 (.f64 y z) (neg.f64 x)) (-.f64 (.f64 t z) (neg.f64 x)))) (+.f64 (neg.f64 x) #s(literal 1 binary64)))
(/.f64 (+.f64 (neg.f64 x) (/.f64 (-.f64 (.f64 y z) (neg.f64 x)) (-.f64 (.f64 z t) (neg.f64 x)))) (+.f64 #s(literal 1 binary64) (neg.f64 x)))
(/.f64 (-.f64 (/.f64 (fma.f64 y z x) (fma.f64 z t x)) x) (-.f64 #s(literal 1 binary64) x))
(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 (neg.f64 y) z) x) (-.f64 (.f64 t z) x))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y (neg.f64 z)) x) (-.f64 (.f64 z t) x))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 x (/.f64 (neg.f64 (fma.f64 y z x)) (-.f64 (*.f64 z t) x))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 x (/.f64 (fma.f64 y z x) (-.f64 x (*.f64 z t)))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y (neg.f64 z)) x) (-.f64 (.f64 t (neg.f64 z)) x))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y (neg.f64 z)) x) (-.f64 (.f64 z (neg.f64 t)) x))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 x (/.f64 (neg.f64 (fma.f64 y z x)) (neg.f64 (fma.f64 z t x)))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 x (/.f64 (fma.f64 y z x) (fma.f64 z t x))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 (neg.f64 t) z) x))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z (neg.f64 t)) x))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 x (/.f64 (-.f64 (*.f64 y z) x) (neg.f64 (fma.f64 z t x)))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 x (/.f64 (-.f64 x (*.f64 y z)) (fma.f64 z t x))) (+.f64 x #s(literal 1 binary64)))
(neg.f64 (/.f64 (+.f64 (neg.f64 x) (/.f64 (-.f64 (.f64 y z) (neg.f64 x)) (-.f64 (.f64 t z) (neg.f64 x)))) (+.f64 (neg.f64 x) #s(literal 1 binary64))))
(/.f64 (+.f64 (neg.f64 x) (/.f64 (-.f64 (.f64 y z) (neg.f64 x)) (-.f64 (.f64 z t) (neg.f64 x)))) (neg.f64 (+.f64 #s(literal 1 binary64) (neg.f64 x))))
(/.f64 (-.f64 (/.f64 (fma.f64 y z x) (fma.f64 z t x)) x) (+.f64 x #s(literal -1 binary64)))
(neg.f64 (/.f64 (+.f64 x (/.f64 (-.f64 (.f64 (neg.f64 y) z) x) (-.f64 (.f64 t z) x))) (+.f64 x #s(literal 1 binary64))))
(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y (neg.f64 z)) x) (-.f64 (.f64 z t) x))) (neg.f64 (+.f64 x #s(literal 1 binary64))))
(/.f64 (+.f64 x (/.f64 (neg.f64 (fma.f64 y z x)) (-.f64 (*.f64 z t) x))) (neg.f64 (+.f64 x #s(literal 1 binary64))))
(/.f64 (+.f64 x (/.f64 (neg.f64 (fma.f64 y z x)) (-.f64 (*.f64 z t) x))) (-.f64 #s(literal -1 binary64) x))
(/.f64 (+.f64 x (/.f64 (fma.f64 y z x) (-.f64 x (*.f64 z t)))) (-.f64 #s(literal -1 binary64) x))
(neg.f64 (/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y (neg.f64 z)) x) (-.f64 (.f64 t (neg.f64 z)) x))) (+.f64 x #s(literal 1 binary64))))
(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y (neg.f64 z)) x) (-.f64 (.f64 z (neg.f64 t)) x))) (neg.f64 (+.f64 x #s(literal 1 binary64))))
(/.f64 (+.f64 x (/.f64 (neg.f64 (fma.f64 y z x)) (neg.f64 (fma.f64 z t x)))) (neg.f64 (+.f64 x #s(literal 1 binary64))))
(/.f64 (+.f64 x (/.f64 (neg.f64 (fma.f64 y z x)) (neg.f64 (fma.f64 z t x)))) (-.f64 #s(literal -1 binary64) x))
(/.f64 (+.f64 x (/.f64 (fma.f64 y z x) (fma.f64 z t x))) (-.f64 #s(literal -1 binary64) x))
(neg.f64 (/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 (neg.f64 t) z) x))) (+.f64 x #s(literal 1 binary64))))
(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z (neg.f64 t)) x))) (neg.f64 (+.f64 x #s(literal 1 binary64))))
(/.f64 (+.f64 x (/.f64 (-.f64 (*.f64 y z) x) (neg.f64 (fma.f64 z t x)))) (neg.f64 (+.f64 x #s(literal 1 binary64))))
(/.f64 (+.f64 x (/.f64 (-.f64 (*.f64 y z) x) (neg.f64 (fma.f64 z t x)))) (-.f64 #s(literal -1 binary64) x))
(/.f64 (-.f64 (/.f64 (-.f64 (*.f64 y z) x) (fma.f64 z t x)) x) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 y (/.f64 (-.f64 (.f64 x z) y) (-.f64 (.f64 t z) y))) (+.f64 y #s(literal 1 binary64)))
(/.f64 (+.f64 y (/.f64 (-.f64 (.f64 x z) y) (-.f64 (.f64 z t) y))) (+.f64 y #s(literal 1 binary64)))
(/.f64 (+.f64 y (/.f64 (fma.f64 x z (neg.f64 y)) (fma.f64 z t (neg.f64 y)))) (+.f64 y #s(literal 1 binary64)))
(/.f64 (+.f64 z (/.f64 (-.f64 (.f64 y x) z) (-.f64 (.f64 t x) z))) (+.f64 z #s(literal 1 binary64)))
(/.f64 (+.f64 z (/.f64 (fma.f64 y x (neg.f64 z)) (-.f64 (*.f64 x t) z))) (+.f64 z #s(literal 1 binary64)))
(/.f64 (+.f64 z (/.f64 (fma.f64 x y (neg.f64 z)) (-.f64 (*.f64 x t) z))) (+.f64 z #s(literal 1 binary64)))
(/.f64 (+.f64 z (/.f64 (-.f64 (.f64 x y) z) (-.f64 (.f64 x t) z))) (+.f64 z #s(literal 1 binary64)))
(/.f64 (-.f64 z (/.f64 (-.f64 z (.f64 x y)) (-.f64 (.f64 x t) z))) (+.f64 z #s(literal 1 binary64)))
(/.f64 (+.f64 t (/.f64 (-.f64 (.f64 y z) t) (-.f64 (.f64 x z) t))) (+.f64 t #s(literal 1 binary64)))
(/.f64 (+.f64 t (/.f64 (fma.f64 y z (neg.f64 t)) (fma.f64 x z (neg.f64 t)))) (+.f64 t #s(literal 1 binary64)))
(/.f64 (+.f64 t (/.f64 (fma.f64 y z (neg.f64 t)) (-.f64 (*.f64 x z) t))) (+.f64 t #s(literal 1 binary64)))
(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 z y) x) (-.f64 (.f64 t y) x))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 x (/.f64 (-.f64 (*.f64 y z) x) (fma.f64 y t (neg.f64 x)))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 y t) x))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 t z) x) (-.f64 (.f64 y z) x))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 z t) x) (-.f64 (.f64 y z) x))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y t) x) (-.f64 (.f64 z t) x))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 x (/.f64 (fma.f64 y t (neg.f64 x)) (-.f64 (*.f64 z t) x))) (+.f64 x #s(literal 1 binary64)))

Compiler

Compiled 21 to 13 computations (38.1% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	91.6%	(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))) (+.f64 x #s(literal 1 binary64)))

Compiler

Compiled 42 to 26 computations (38.1% saved)

simplify2.0ms (0.1%)

Memory

0.7MiB live, 0.7MiB allocated

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	73
1	33	73
2	38	73
3	40	73
4	41	73

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))) (+.f64 x #s(literal 1 binary64)))

Outputs

(/.f64 (+.f64 x (/.f64 (-.f64 (*.f64 y z) x) (-.f64 (*.f64 t z) x))) (+.f64 x #s(literal 1 binary64)))

(/.f64 (+.f64 x (/.f64 (-.f64 (*.f64 y z) x) (-.f64 (*.f64 z t) x))) (+.f64 x #s(literal 1 binary64)))

soundness0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 21 to 13 computations (38.1% saved)

preprocess24.0ms (0.8%)

Memory: 4.7MiB live, 35.9MiB allocated
Compiler: Compiled 134 to 82 computations (38.8% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze176.0ms (5.7%)

sample2.7s (89.9%)

preprocess105.0ms (3.4%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

preprocess24.0ms (0.8%)

end0.0ms (0%)

Profiling