Metrics for Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, D

analyze298.0ms (4.1%)

Memory

8.1MiB live, 133.3MiB 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
0%	0%	99.8%	0.2%	0%	0%	0%	5
0%	0%	99.8%	0.2%	0%	0%	0%	6
0%	0%	99.8%	0.2%	0%	0%	0%	7
0%	0%	99.8%	0.2%	0%	0%	0%	8
4.2%	3.1%	71.7%	0.2%	0%	25%	0%	9
4.2%	3.1%	71.3%	0.2%	0%	25.3%	0%	10
6.3%	4.7%	69.2%	0.2%	0%	25.9%	0%	11
9.2%	6.6%	65.8%	0.2%	0%	27.4%	0%	12

Compiler

Compiled 45 to 39 computations (13.3% saved)

sample6.8s (93.3%)

Memory

82.0MiB live, 2 345.6MiB allocated

Samples

860.0ms	8 256×	valid-baseline
748.0ms	8 256×	valid-sollya
741.0ms	8 256×	valid-rival

Precisions

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

ival-mult: 580.0ms (40.8% of total)

ival-div: 486.0ms (34.2% of total)

ival-sqrt: 154.0ms (10.8% of total)

ival-acos: 150.0ms (10.6% of total)

...in/eval/compile.rkt:110:19: 25.0ms (1.8% of total)

ival-true: 19.0ms (1.3% of total)

ival-assert: 9.0ms (0.6% of total)

Precisions

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

ival-mult: 621.0ms (40.6% of total)

ival-div: 542.0ms (35.5% of total)

ival-sqrt: 159.0ms (10.4% of total)

ival-acos: 151.0ms (9.9% of total)

const: 56.0ms (3.7% of total)

Bogosity

preprocess151.0ms (2.1%)

Memory

9.8MiB live, 25.6MiB allocated

Algorithm

1×	egg-herbie

Rules

694×	`fma-define`
446×	`div-sub`
434×	`associate-*l/`
422×	`unsub-neg`
344×	`associate-*r/`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	100	1040
1	292	920
2	999	824
3	3700	824
4	4379	824
5	5515	824
6	7072	824

Stop Event

1×	node limit

Calls

Call 1

Inputs
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 (neg.f64 x) (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 (neg.f64 y) #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 (neg.f64 z) #s(literal 2 binary64))) (sqrt.f64 t))))
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 (neg.f64 t)))))
(neg.f64 (.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 (neg.f64 x) (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t)))))
(neg.f64 (.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 (neg.f64 y) #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t)))))
(neg.f64 (.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 (neg.f64 z) #s(literal 2 binary64))) (sqrt.f64 t)))))
(neg.f64 (.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 (neg.f64 t))))))
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 y (.f64 x #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 z (.f64 y #s(literal 27 binary64)))) (*.f64 x #s(literal 2 binary64))) (sqrt.f64 t))))
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 t (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 x))))
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 z #s(literal 27 binary64)))) (*.f64 y #s(literal 2 binary64))) (sqrt.f64 t))))
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 t #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 y))))
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 t #s(literal 2 binary64))) (sqrt.f64 z))))

Outputs
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (.f64 #s(literal 3 binary64) (/.f64 (/.f64 x (.f64 y #s(literal 27 binary64))) (*.f64 z #s(literal 2 binary64)))) (sqrt.f64 t))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y)) (/.f64 (sqrt.f64 t) (.f64 z #s(literal 2 binary64))))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (*.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 x y) z)) (sqrt.f64 t))))
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (.f64 #s(literal 3 binary64) (/.f64 (/.f64 x (.f64 y #s(literal 27 binary64))) (*.f64 z #s(literal 2 binary64)))) (sqrt.f64 t))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y)) (/.f64 (sqrt.f64 t) (.f64 z #s(literal 2 binary64))))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (*.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 x y) z)) (sqrt.f64 t))))
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 (neg.f64 x) (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (sqrt.f64 t) (.f64 (/.f64 #s(literal 3 binary64) z) (/.f64 (/.f64 (neg.f64 x) (.f64 y #s(literal 27 binary64))) #s(literal 2 binary64))))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (sqrt.f64 t) (*.f64 (/.f64 (/.f64 x y) #s(literal 54 binary64)) (/.f64 #s(literal -3 binary64) z)))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (sqrt.f64 t) (*.f64 #s(literal -1/18 binary64) (/.f64 (/.f64 x y) z)))))
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 (neg.f64 y) #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (sqrt.f64 t) (.f64 (/.f64 #s(literal 3 binary64) z) (/.f64 (/.f64 (neg.f64 x) (.f64 y #s(literal 27 binary64))) #s(literal 2 binary64))))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (sqrt.f64 t) (*.f64 (/.f64 (/.f64 x y) #s(literal 54 binary64)) (/.f64 #s(literal -3 binary64) z)))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (sqrt.f64 t) (*.f64 #s(literal -1/18 binary64) (/.f64 (/.f64 x y) z)))))
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 (neg.f64 z) #s(literal 2 binary64))) (sqrt.f64 t))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (sqrt.f64 t) (.f64 (/.f64 #s(literal 3 binary64) z) (/.f64 (/.f64 (neg.f64 x) (.f64 y #s(literal 27 binary64))) #s(literal 2 binary64))))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (sqrt.f64 t) (*.f64 (/.f64 (/.f64 x y) #s(literal 54 binary64)) (/.f64 #s(literal -3 binary64) z)))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (sqrt.f64 t) (*.f64 #s(literal -1/18 binary64) (/.f64 (/.f64 x y) z)))))
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 (neg.f64 t)))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (.f64 #s(literal 3 binary64) (/.f64 (/.f64 x (.f64 y #s(literal 27 binary64))) (*.f64 z #s(literal 2 binary64)))) (sqrt.f64 (neg.f64 t)))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y)) (/.f64 (sqrt.f64 (neg.f64 t)) (.f64 z #s(literal 2 binary64))))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (*.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 x y) z)) (sqrt.f64 (neg.f64 t)))))
(neg.f64 (.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 (neg.f64 x) (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t)))))
(.f64 #s(literal -1/3 binary64) (acos.f64 (.f64 (sqrt.f64 t) (.f64 (/.f64 #s(literal 3 binary64) z) (/.f64 (/.f64 (neg.f64 x) (.f64 y #s(literal 27 binary64))) #s(literal 2 binary64))))))
(.f64 (acos.f64 (.f64 (sqrt.f64 t) (*.f64 (/.f64 (/.f64 x y) #s(literal 54 binary64)) (/.f64 #s(literal -3 binary64) z)))) #s(literal -1/3 binary64))
(.f64 (acos.f64 (.f64 (sqrt.f64 t) (*.f64 #s(literal -1/18 binary64) (/.f64 (/.f64 x y) z)))) #s(literal -1/3 binary64))
(neg.f64 (.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 (neg.f64 y) #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t)))))
(.f64 #s(literal -1/3 binary64) (acos.f64 (.f64 (sqrt.f64 t) (.f64 (/.f64 #s(literal 3 binary64) z) (/.f64 (/.f64 (neg.f64 x) (.f64 y #s(literal 27 binary64))) #s(literal 2 binary64))))))
(.f64 (acos.f64 (.f64 (sqrt.f64 t) (*.f64 (/.f64 (/.f64 x y) #s(literal 54 binary64)) (/.f64 #s(literal -3 binary64) z)))) #s(literal -1/3 binary64))
(.f64 (acos.f64 (.f64 (sqrt.f64 t) (*.f64 #s(literal -1/18 binary64) (/.f64 (/.f64 x y) z)))) #s(literal -1/3 binary64))
(neg.f64 (.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 (neg.f64 z) #s(literal 2 binary64))) (sqrt.f64 t)))))
(.f64 #s(literal -1/3 binary64) (acos.f64 (.f64 (sqrt.f64 t) (.f64 (/.f64 #s(literal 3 binary64) z) (/.f64 (/.f64 (neg.f64 x) (.f64 y #s(literal 27 binary64))) #s(literal 2 binary64))))))
(.f64 (acos.f64 (.f64 (sqrt.f64 t) (*.f64 (/.f64 (/.f64 x y) #s(literal 54 binary64)) (/.f64 #s(literal -3 binary64) z)))) #s(literal -1/3 binary64))
(.f64 (acos.f64 (.f64 (sqrt.f64 t) (*.f64 #s(literal -1/18 binary64) (/.f64 (/.f64 x y) z)))) #s(literal -1/3 binary64))
(neg.f64 (.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 (neg.f64 t))))))
(.f64 #s(literal -1/3 binary64) (acos.f64 (.f64 (.f64 #s(literal 3 binary64) (/.f64 (/.f64 x (.f64 y #s(literal 27 binary64))) (*.f64 z #s(literal 2 binary64)))) (sqrt.f64 (neg.f64 t)))))
(.f64 (acos.f64 (.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y)) (/.f64 (sqrt.f64 (neg.f64 t)) (.f64 z #s(literal 2 binary64))))) #s(literal -1/3 binary64))
(.f64 (acos.f64 (.f64 (*.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 x y) z)) (sqrt.f64 (neg.f64 t)))) #s(literal -1/3 binary64))
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 y (.f64 x #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (/.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) y) (.f64 x #s(literal 27 binary64))) (sqrt.f64 t)) (*.f64 z #s(literal 2 binary64)))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (sqrt.f64 t) (*.f64 (/.f64 #s(literal 3 binary64) z) (/.f64 (/.f64 y x) #s(literal 54 binary64))))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (sqrt.f64 t) (*.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 y x) z)))))
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 z (.f64 y #s(literal 27 binary64)))) (*.f64 x #s(literal 2 binary64))) (sqrt.f64 t))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (sqrt.f64 t) (/.f64 (/.f64 (.f64 #s(literal 3 binary64) z) (.f64 y #s(literal 27 binary64))) (*.f64 x #s(literal 2 binary64))))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (/.f64 #s(literal 3 binary64) x) (*.f64 (/.f64 (/.f64 z y) #s(literal 54 binary64)) (sqrt.f64 t)))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (sqrt.f64 t) (*.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 z y) x)))))
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 t (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 x))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (.f64 (/.f64 #s(literal 3 binary64) z) (/.f64 (/.f64 t (.f64 y #s(literal 27 binary64))) #s(literal 2 binary64))) (sqrt.f64 x))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (.f64 #s(literal 1/9 binary64) (/.f64 t y)) (/.f64 (sqrt.f64 x) (.f64 z #s(literal 2 binary64))))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (*.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 t y) z)) (sqrt.f64 x))))
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 z #s(literal 27 binary64)))) (*.f64 y #s(literal 2 binary64))) (sqrt.f64 t))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (.f64 #s(literal 3 binary64) (/.f64 (/.f64 x (.f64 y #s(literal 27 binary64))) (*.f64 z #s(literal 2 binary64)))) (sqrt.f64 t))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (.f64 #s(literal 1/9 binary64) (/.f64 x y)) (/.f64 (sqrt.f64 t) (.f64 z #s(literal 2 binary64))))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (*.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 x y) z)) (sqrt.f64 t))))
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 t #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 y))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (.f64 #s(literal 3 binary64) (/.f64 (/.f64 x (.f64 #s(literal 27 binary64) t)) (*.f64 z #s(literal 2 binary64)))) (sqrt.f64 y))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (*.f64 (/.f64 #s(literal 3 binary64) z) (/.f64 (/.f64 x t) #s(literal 54 binary64))) (sqrt.f64 y))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (*.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 x t) z)) (sqrt.f64 y))))
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 t #s(literal 2 binary64))) (sqrt.f64 z))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (.f64 #s(literal 3 binary64) (/.f64 (/.f64 x (.f64 y #s(literal 27 binary64))) (*.f64 #s(literal 2 binary64) t))) (sqrt.f64 z))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 #s(literal 3 binary64) (*.f64 (/.f64 (/.f64 (/.f64 x y) #s(literal 54 binary64)) t) (sqrt.f64 z)))))
(.f64 #s(literal 1/3 binary64) (acos.f64 (.f64 (*.f64 #s(literal 1/18 binary64) (/.f64 (/.f64 x y) t)) (sqrt.f64 z))))

Symmetry

(sort y z)

Compiler

Compiled 23 to 18 computations (21.7% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	98.2%	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (.f64 (/.f64 (.f64 #s(literal 3 binary64) (/.f64 x (.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))

Status

Accuracy

Program

98.2%

(*.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))

Compiler

Compiled 46 to 36 computations (21.7% saved)

simplify2.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative`
3×	`1-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	63
1	37	63

Stop Event

1×

saturated

Calls

Call 1

Inputs

(*.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))

Outputs

(*.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))

(*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))

soundness0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 21 to 17 computations (19% saved)

preprocess39.0ms (0.5%)

Memory: -6.5MiB live, 41.8MiB allocated
Compiler: Compiled 214 to 170 computations (20.6% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze298.0ms (4.1%)

sample6.8s (93.3%)

preprocess151.0ms (2.1%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify2.0ms (0%)

soundness0.0ms (0%)

preprocess39.0ms (0.5%)

end0.0ms (0%)

Profiling