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

analyze637.0ms (0.7%)

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 24 to 19 computations (20.8% saved)

sample1.6min (98.9%)

Results

6.4s	15343×	invalid-rival
19.4s	14958×	invalid-sollya
3.8s	8256×	valid-rival
1.1s	8189×	valid-sollya
2.3s	452×	exit-sollya

Bogosity

preprocess255.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

694×	`fma-define`
449×	`div-sub`
442×	`unsub-neg`
434×	`associate-*l/`
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%)

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

prune2.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	97.7%	(.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

97.7%

(*.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)

simplify3.0ms (0%)

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

soundness1.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 21 to 17 computations (19% saved)

preprocess128.0ms (0.1%)

Compiler: Compiled 214 to 170 computations (20.6% saved)

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

analyze637.0ms (0.7%)

sample1.6min (98.9%)

preprocess255.0ms (0.3%)

eval0.0ms (0%)

prune2.0ms (0%)

simplify3.0ms (0%)

soundness1.0ms (0%)

preprocess128.0ms (0.1%)

end0.0ms (0%)

Profiling